Towards a constructive simplicial model of Univalent Foundations

Gambino, N orcid.org/0000-0002-4257-3590 and Henry, S (Accepted: 2021) Towards a constructive simplicial model of Univalent Foundations. Journal of the London Mathematical Society. ISSN 0024-6107 (In Press)

Metadata

Authors/Creators:
Dates:
  • Accepted: 13 July 2021
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Funding Information:
FunderGrant number
Air Force Research Lab Munitions DirectorateFA8655-13-1-3038, 12.800
EPSRC (Engineering and Physical Sciences Research Council)EP/M01729X/1
Depositing User: Symplectic Publications
Date Deposited: 05 Aug 2021 11:56
Last Modified: 05 Aug 2021 11:56
Status: In Press
Publisher: Wiley

Download

Accepted Version


Under temporary embargo

Filename: gambino-henry-v2.pdf

Request a copy

file not available

Share / Export