Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
|
|
|
sorted by
|
|
|
Finite Limits and Anti-unification in Substitution Categories24th International Workshop on Algebraic Development Techniques (WADT), Jul 2018, Egham, United Kingdom. pp.87-102, ⟨10.1007/978-3-030-23220-7_5⟩
Conference papers
hal-02364568v1
|
||
|
|
Categories of Coalgebras with Monadic Homomorphisms12th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2014, Grenoble, France. pp.151-167, ⟨10.1007/978-3-662-44124-4_9⟩
Conference papers
hal-01408758v1
|