Towards a constructive simplicial model of Univalent Foundations

Document Details

Document Type
Pub Defense Publication
Publication Date
Feb 21, 2022
Source ID
10.1112/jlms.12532

Entities

People

  • Nicola Gambino
  • Simon Henry

Organizations

  • Air Force Office of Scientific Research
  • Engineering and Physical Sciences Research Council
  • University of Leeds
  • University of Ottawa