Damien Pous
1
Documents
Publications
- 1
- 1
- 1
Modular coinduction up-to for higher-order languages via first-order transition systemsLogical Methods in Computer Science, 2021, Volume 17, Issue 3, ⟨10.46298/lmcs-17(3:25)2021⟩
Article dans une revue
hal-03350199v1
|