No Cover Image

Book Chapter 17 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: Setzer, Anton

  • Accepted Manuscript under embargo until: 9th August 2020
Published: Springer
URI: https://cronfa.swan.ac.uk/Record/cronfa51297
Tags: Add Tag
No Tags, Be the first to tag this record!
College: College of Science