Finite sets in homotopy type theory

Find Full text
Thumbnail
Fulltext:
184426.pdf
Embargo:
until further notice
Size:
256.5Kb
Format:
PDF
Description:
publisher's version
Publication year
2018
Author(s)
Frumin, D.
Geuvers, H.
Gondelman, L.
Weide, N.M. van der
Publisher
New York : ACM
ISBN
9781450355865
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
DOI
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

Upload full text

Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.