Filter your results
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Semantics for First-Order Affine Inductive Data Types via Slice CategoriesInternational Workshop on Coalgebraic Methods in Computer Science, Sep 2020, Virtual, France. ⟨10.1007/978-3-030-57201-3_10⟩
Conference papers
hal-03018418v1
|