Book chapter 720 views 149 downloads
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
-
PDF | Accepted Manuscript
Download (471.25KB)
Abstract
An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe
| 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. |