Type theory with weak J (2017)

First Author: Altenkirch T.

Attributed to: Homotopy Type Theory: Programming and Verification funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Type: Other

Volume: 104

Parent Publication: Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 18688969