APA (7th ed.) Citation

Altenkirch, T., & Kaposi, A. (2016). Normalisation by evaluation for dependent types.

Chicago Style (17th ed.) Citation

Altenkirch, Thorsten, and Ambrus Kaposi. Normalisation by Evaluation for Dependent Types. 2016.

MLA (9th ed.) Citation

Altenkirch, Thorsten, and Ambrus Kaposi. Normalisation by Evaluation for Dependent Types. 2016.

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