APA (7th ed.) Citation

Kraus, N., Escardo, M., Coquand, T., & Altenkirch, T. (2016). Notions of anonymous existence in Martin-Löf type theory. IfCoLog.

Chicago Style (17th ed.) Citation

Kraus, Nicolai, Martin Escardo, Thierry Coquand, and Thorsten Altenkirch. Notions of Anonymous Existence in Martin-Löf Type Theory. IfCoLog, 2016.

MLA (9th ed.) Citation

Kraus, Nicolai, et al. Notions of Anonymous Existence in Martin-Löf Type Theory. IfCoLog, 2016.