Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer International Publishing

9783030572006, 9783030572013

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Duality for Instantial Neighbourhood Logic via Coalgebra

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_3 ◽

2020 ◽

pp. 32-54

Author(s):

Nick Bezhanishvili ◽

Sebastian Enqvist ◽

Jim de Groot

Download Full-text

Injective Objects and Fibered Codensity Liftings

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_7 ◽

2020 ◽

pp. 112-132

Author(s):

Yuichi Komorida

Download Full-text

Learning Automata with Side-Effects

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_5 ◽

2020 ◽

pp. 68-89

Author(s):

Gerco van Heerdt ◽

Matteo Sammartino ◽

Alexandra Silva

Keyword(s):

Side Effects ◽

Learning Automata

Download Full-text

A Categorical Approach to Secure Compilation

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_9 ◽

2020 ◽

pp. 155-179

Author(s):

Stelios Tsampas ◽

Andreas Nuyts ◽

Dominique Devriese ◽

Frank Piessens

Keyword(s):

Categorical Approach

Download Full-text

Semantics for First-Order Affine Inductive Data Types via Slice Categories

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_10 ◽

2020 ◽

pp. 180-200

Author(s):

Vladimir Zamdzhiev

Keyword(s):

Data Types ◽

First Order

Download Full-text

Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_8 ◽

2020 ◽

pp. 133-154

Author(s):

Barbara König ◽

Christina Mika-Michalski ◽

Lutz Schröder

Download Full-text

Approximate Coalgebra Homomorphisms and Approximate Solutions

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_2 ◽

2020 ◽

pp. 11-31

Author(s):

Jiří Adámek

Keyword(s):

Approximate Solutions

Download Full-text

The Theory of Universal Graphs for Games: Past and Future

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_1 ◽

2020 ◽

pp. 1-10

Author(s):

Nathanaël Fijalkow

Keyword(s):

Universal Graphs

Download Full-text

Free-Algebra Functors from a Coalgebraic Perspective

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_4 ◽

2020 ◽

pp. 55-67

Author(s):

H. Peter Gumm

Keyword(s):

Free Algebra

Download Full-text

De Finetti’s Construction as a Categorical Limit

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-030-57201-3_6 ◽

2020 ◽

pp. 90-111

Author(s):

Bart Jacobs ◽

Sam Staton

Download Full-text

Coalgebraic Methods in Computer Science - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer International Publishing

Duality for Instantial Neighbourhood Logic via Coalgebra

Injective Objects and Fibered Codensity Liftings

Learning Automata with Side-Effects

A Categorical Approach to Secure Compilation

Semantics for First-Order Affine Inductive Data Types via Slice Categories

Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas

Approximate Coalgebra Homomorphisms and Approximate Solutions

The Theory of Universal Graphs for Games: Past and Future

Free-Algebra Functors from a Coalgebraic Perspective

De Finetti’s Construction as a Categorical Limit

Coalgebraic Methods in Computer Science - Lecture Notes in Computer Science
Latest Publications