Book chapter 1223 views 240 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 |
| Description not available. |