No Cover Image

Book chapter 591 views 117 downloads

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

Anton Setzer Orcid Logo

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

Swansea University Author: Anton Setzer Orcid Logo

Published: Springer 2019
Tags: Add Tag
No Tags, Be the first to tag this record!
Description not available.