Impredicative Encodings of (Higher) Inductive Types
Steve Awodey‚ Jonas Frey and Sam Speight
Address
New York‚ NY‚ USA
Book Title
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science
ISBN
978−1−4503−5583−4
Keywords
Higher inductive types‚ Homotopy type theory‚ Impredicative encodings‚ Impredicativity‚ Inductive types‚ Martin−Löf type theory‚ System F
Location
Oxford‚ United Kingdom
Pages
76–85
Publisher
ACM
Series
LICS '18
Year
2018