APA (7th ed.) Citation

Altenkirch, T., & Kaposi, A. (2017). Normalisation by evaluation for type theory, in type theory. Logical Methods in Computer Science e.V.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten, and Ambrus Kaposi. Normalisation by Evaluation for Type Theory, in Type Theory. Logical Methods in Computer Science e.V, 2017.

MLA (9th ed.) Citation

Altenkirch, Thorsten, and Ambrus Kaposi. Normalisation by Evaluation for Type Theory, in Type Theory. Logical Methods in Computer Science e.V, 2017.

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