External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 1

PDF

Bibliographies

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Decomposing the Univalence Axiom

Ian Orton, Andrew M. Pitts. Decomposing the Univalence Axiom. In Andreas Abel 0001, Fredrik Nordvall Forsberg, Ambrus Kaposi, editors, 23rd International Conference on Types for Proofs and Programs, TYPES 2017, May 29-June 1, 2017, Budapest, Hungary. Volume 104 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2017. [doi]

Authors

Ian Orton

This author has not been identified. Look up 'Ian Orton' in Google

Andrew M. Pitts

This author has not been identified. Look up 'Andrew M. Pitts' in Google
runs on