Filter your results
- 13
- 1
- 13
- 1
- 14
- 14
- 14
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
On Finitary Functors and Their Presentations11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.51-70, ⟨10.1007/978-3-642-32784-1_4⟩
Conference papers
hal-01539879v1
|
||
|
|
Lax Extensions of Coalgebra Functors11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.150-169, ⟨10.1007/978-3-642-32784-1_9⟩
Conference papers
hal-01539878v1
|
||
|
|
Stream Automata Are Coalgebras11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.90-108, ⟨10.1007/978-3-642-32784-1_6⟩
Conference papers
hal-01539881v1
|
||
|
|
Internal Models for Coalgebraic Modal Logics11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.238-258, ⟨10.1007/978-3-642-32784-1_13⟩
Conference papers
hal-01539883v1
|
||
|
|
Permutations in Coinductive Graph Representation11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.218-237, ⟨10.1007/978-3-642-32784-1_12⟩
Conference papers
hal-01539884v1
|
||
|
|
Structural Operational Semantics for Continuous State Probabilistic Processes11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.71-89, ⟨10.1007/978-3-642-32784-1_5⟩
Conference papers
hal-01539880v1
|
||
|
|
From Lawvere to Brandenburger-Keisler: Interactive Forms of Diagonalization and Self-reference11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.1-19, ⟨10.1007/978-3-642-32784-1_1⟩
Conference papers
hal-01539890v1
|
||
|
|
Defining Context-Free Power Series Coalgebraically11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.20-39, ⟨10.1007/978-3-642-32784-1_2⟩
Conference papers
hal-01539885v1
|
||
|
|
From Transitions to Executions11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.170-190, ⟨10.1007/978-3-642-32784-1_10⟩
Conference papers
hal-01539888v1
|
||
|
|
Tracing the Man in the Middle in Monoidal Categories11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.191-217, ⟨10.1007/978-3-642-32784-1_11⟩
Conference papers
hal-01539882v1
|
||
|
|
An Alpha-Corecursion Principle for the Infinitary Lambda Calculus11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.130-149, ⟨10.1007/978-3-642-32784-1_8⟩
Conference papers
hal-01539877v1
|
||
|
|
Trace Semantics via Determinization11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.109-129, ⟨10.1007/978-3-642-32784-1_7⟩
Conference papers
hal-01539887v1
|
||
|
|
Relational Presheaves as Labelled Transition Systems11th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Mar 2012, Tallinn, Estonia. pp.40-50, ⟨10.1007/978-3-642-32784-1_3⟩
Conference papers
hal-01539889v1
|
||
|
|
Coalgebraic Methods in Computer ScienceSpringer, LNCS-7399, 2012, Coalgebraic Methods in Computer Science, ⟨10.1007/978-3-642-32784-1⟩
Books
hal-01539886v1
|