Homotopy Type Theory : Univalent Foundations of Mathematics

Thumbnail Image

Files

Access status: Embargo until 2233-03-22 , Primary 117035.pdf (5.73 MB)

Date

2013

Authors

Aczel, P.
Spitters, B.A.W. Bas
Zeilberger, N.

Journal Title

Journal ISSN

Volume Title

Publisher

S.l. : Institute for Advanced Study

Research Projects

Organizational Units

Journal Issue

Abstract

Description

Keywords

Citation

URI

https://hdl.handle.net/2066/117035

Collections

Academic research output

Endorsement

Review

Supplemented By

Referenced By