No Cover Image

Book chapter 433 views 95 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
URI: https://cronfa.swan.ac.uk/Record/cronfa51297
Tags: Add Tag
No Tags, Be the first to tag this record!
Description not available.