Browsing by Author "Sozeau, Matthieu"
Now showing 1 - 1 of 1
- Results per page
- Sort Options
Publication Cumulative Inductive Types In Coq
;Timany, AminSozeau, MatthieuProceedings paper2018, 3rd International Conference on Formal Structures for Computation and Deduction - FSCD, 2018-07-09, p.29:1-29:16