Show simple item record

Cumulative inductive types in Coq

dc.contributor.authorTimmany, Amin
dc.contributor.authorSozeau, Mathieu
dc.date.accessioned2021-10-26T05:43:50Z
dc.date.available2021-10-26T05:43:50Z
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31952
dc.sourceIIOimport
dc.titleCumulative inductive types in Coq
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.conferenceInternational Conference on Formal Structures for Computation and Deduction (FSCD)
dc.source.conferencedate9/07/2018
dc.source.conferencelocationOxford UK
dc.identifier.urlhttps://lirias.kuleuven.be/1991543
imec.availabilityPublished - open access
imec.internalnotesLIPIcs : Leibniz International Proceedings in Informatics


Files in this item

Thumbnail
Name:
42485.pdf
Size:
635.6Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record