Browsing by Author "Timmany, Amin"
Now showing 1 - 1 of 1
- Results per page
- Sort Options
Publication Cumulative inductive types in Coq
;Timmany, AminSozeau, MathieuProceedings paper2018, International Conference on Formal Structures for Computation and Deduction (FSCD), 9/07/2018