Homotopy-initial algebras in type theory

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



  • Awodey, S
  • Gambino, N
  • Sojakova, K
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
  • Published: February 2017
  • Accepted: 7 October 2016
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Maths and Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 11 Oct 2016 09:35
Last Modified: 13 Apr 2017 16:06
Published Version: https://doi.org/10.1145/3006383
Status: Published
Publisher: Association for Computing Machinery (ACM)
Identification Number: https://doi.org/10.1145/3006383

Share / Export