Filter your results
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
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
|
||
|
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
|