Damien Pous
1
Documents
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
Corecursion up-to via Causal TransformationsCoalgebraic Methods in Computer Science, Apr 2022, Munich, Germany. ⟨10.1007/978-3-031-10736-8_7⟩
Communication dans un congrès
hal-03694381v1
|