APA Citation

Setzer, A., & Dybjer, P. (2024). The extended predicative Mahlo universe in Martin-Löf type theory. Journal of Logic and Computation, 34(6), pp. 1032-1063. doi:10.1093/logcom/exad022

Chicago Style Citation

Setzer, Anton, and Peter Dybjer. "The Extended Predicative Mahlo Universe in Martin-Löf Type Theory." Journal of Logic and Computation 34, no. 6 (2024): 1032-1063.

MLA Citation

Setzer, Anton, and Peter Dybjer. "The Extended Predicative Mahlo Universe in Martin-Löf Type Theory." Journal of Logic and Computation 34.6 (2024): 1032-1063.

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