Towards a constructive simplicial model of Univalent Foundations

This is the latest version of this eprint.

Gambino, N orcid.org/0000-0002-4257-3590 and Henry, S (2022) Towards a constructive simplicial model of Univalent Foundations. Journal of the London Mathematical Society, 105 (2). pp. 1073-1109. ISSN 0024-6107

Abstract

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

© 2022 The Authors.This is an open access article under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited.

Dates:
  • Published: March 2022
  • Published (online): 21 February 2022
  • 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:
Funder
Grant number
Air Force Research Lab Munitions Directorate
FA8655-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: 30 Oct 2024 15:01
Status: Published
Publisher: Wiley
Identification Number: 10.1112/jlms.12532
Open Archives Initiative ID (OAI ID):

Available Versions of this Item

Export

Statistics