Constructions with Non-Recursive Higher Inductive Types

Article Details
Title:	Constructions with Non-Recursive Higher Inductive Types
Article URLs:	https://doi.org/10.1145/2933575.2933586 http://ieeexplore.ieee.org/document/8576445
Alternative Article URLs:
Authors:	Nicolai Kraus	University of Nottingham, Computer Science
Sharing:	Research produced artifacts
Verification:	Author has verified information
Artifact Evaluation Badge:	none
Artifact URLs:	https://github.com/nicolaikraus/HoTT-Agda/tree/master/nicolai/pseudotruncations http://www.cs.nott.ac.uk/~psznk/docs/html-pseudotruncs/nicolai.pseudotruncations.NONRECURSIVE-INDEX.html
Artifact Correspondence Email Addresses:
NSF Award Numbers:
DBLP Key:	conf/lics/Kraus16
Author Comments:

ACM/IEEE Logic in Computer Science, LICS 2016