Filter your results
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 2
- 1
- 1
- 1
- 1
|
|
|
sorted by
|
|
|
Coalgebraic Methods in Computer ScienceSpringer International Publishing, LNCS-12094, 2020, Lecture Notes in Computer Science, 978-3-030-57200-6. ⟨10.1007/978-3-030-57201-3⟩
Books
hal-03232344v1
|
||
|
|
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
|