APA Citation

Setzer, A. (2019). An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory with W-type and one Universe. Springer.

Chicago Style Citation

Setzer, Anton. An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory With W-type and One Universe. Springer, 2019.

MLA Citation

Setzer, Anton. An Upper Bound for the Proof Theoretic Strength of Martin-Löf Type Theory With W-type and One Universe. Springer, 2019.

Warning: These citations may not always be 100% accurate.