Fulltext present in this item

Thumbnail
Fulltext: 184426.pdf
Format: PDF
Description: publisher's version
Embargo: until further notice
Title: Finite sets in homotopy type theory
Author(s): Frumin, D.; Geuvers, H. ; Gondelman, L.; Weide, N.M. van der
Publication year: 2018
In: Andronick, J. (ed.), CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 2018, pp. 201-214
Publisher: New York : ACM
ISBN: 9781450355865
DOI: https://doi.org/10.1145/3167085
Annotation: CPP 2018: 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 2018
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : http://hdl.handle.net/2066/184426   http://hdl.handle.net/2066/184426

Display more details
Editor(s): Andronick, J.
Subject: Software Science
Organization: Software Science
Book title: Andronick, J. (ed.), CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, Los Angeles, CA, USA — January 08 - 09, 2018
Page start: p. 201
Page end: p. 214

This item appears in the following Collection(s)

Browse

Statistics