APA (7th ed.) Citation

Pientka, B., Thibodeau, D., Abel, A., Ferreira, F., & Zucchini, R. (2019). A Type Theory for Defining Logics and Proofs. https://doi.org/10.48550/arxiv.1905.02617

Chicago Style (17th ed.) Citation

Pientka, Brigitte, David Thibodeau, Andreas Abel, Francisco Ferreira, and Rebecca Zucchini. A Type Theory for Defining Logics and Proofs. 2019. https://doi.org/10.48550/arxiv.1905.02617.

MLA (9th ed.) Citation

Pientka, Brigitte, et al. A Type Theory for Defining Logics and Proofs. 2019. https://doi.org/10.48550/arxiv.1905.02617.