Homotopy-initial algebras in type theory

Awodey, S, Gambino, N orcid.org/0000-0002-4257-3590 and Sojakova, K (2017) Homotopy-initial algebras in type theory. Journal of the ACM, 63 (6). ISSN 1535-9921

Abstract

Metadata

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

© ACM, 2017. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in Journal of the ACM, (Vol:63, Iss 6, (Feb 2017) https://doi.org/10.1145/3006383

Dates:
  • Published: 31 January 2017
  • Accepted: 7 October 2016
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
John Templeton Foundation - DO NOT USE
48138
EPSRC (Engineering and Physical Sciences Research Council)
EP/M01729X/1
Air Force Research Lab Munitions Directorate
FA8655-13-1-3038, 12.800
Depositing User: Symplectic Publications
Date Deposited: 11 Oct 2016 09:35
Last Modified: 16 Mar 2020 12:30
Published Version: https://doi.org/10.1145/3006383
Status: Published
Publisher: Association for Computing Machinery (ACM)
Identification Number: 10.1145/3006383
Open Archives Initiative ID (OAI ID):

Export

Statistics