No Cover Image

Book chapter 87 views

An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe / Anton, Setzer

Volume: Proceedings in honour of the 100th birthday of Kurt Schuette

Swansea University Author: Anton, Setzer

  • Accepted Manuscript under embargo until: 9th August 2020
Published: Springer 2019
Tags: Add Tag
No Tags, Be the first to tag this record!
Description not available.