Proof Theory of Constructive Systems: Inductive Types and Univalence

Rathjen, M (2017) Proof Theory of Constructive Systems: Inductive Types and Univalence. In: Jaeger, G and Sieg, W, (eds.) Feferman on Foundations: Logic, Mathematics, Philosophy. Outstanding Contributions to Logic . Springer , pp. 385-419. ISBN 978-3-319-63332-9



  • Rathjen, M
Keywords: Explicit mathematics; Constructive Zermelo-Fraenkel set theory; Martin-Löf type theory; Univalence axiom; Proof-theoretic strength
  • Accepted: 26 September 2017
  • Published (online): 30 March 2018
  • Published: 2017
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 14 Oct 2016 14:23
Last Modified: 24 Aug 2018 13:40
Published Version:
Status: Published
Publisher: Springer
Series Name: Outstanding Contributions to Logic
Identification Number:

Download not available

A full text copy of this item is not currently available from White Rose Research Online