Publication:
Cumulative inductive types in Coq
Date
| dc.contributor.author | Timmany, Amin | |
| dc.contributor.author | Sozeau, Mathieu | |
| dc.date.accessioned | 2021-10-26T05:43:50Z | |
| dc.date.available | 2021-10-26T05:43:50Z | |
| dc.date.embargo | 9999-12-31 | |
| dc.date.issued | 2018 | |
| dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/31952 | |
| dc.identifier.url | https://lirias.kuleuven.be/1991543 | |
| dc.source.conference | International Conference on Formal Structures for Computation and Deduction (FSCD) | |
| dc.source.conferencedate | 9/07/2018 | |
| dc.source.conferencelocation | Oxford UK | |
| dc.title | Cumulative inductive types in Coq | |
| dc.type | Proceedings paper | |
| dspace.entity.type | Publication | |
| Files | Original bundle
| |
| Publication available in collections: |