Type theory in type theory using quotient inductive types (2016)

First Author: Altenkirch T
Attributed to:  Homotopy Type Theory: Programming and Verification funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1145/2914770.2837638

Publication URI: http://dx.doi.org/10.1145/2914770.2837638

Type: Journal Article/Review

Parent Publication: ACM SIGPLAN Notices

Issue: 1