Altenkirch, T., & Kaposi, A. (2016). Normalisation by evaluation for dependent types.
Chicago Style (17th ed.) CitationAltenkirch, Thorsten, and Ambrus Kaposi. Normalisation by Evaluation for Dependent Types. 2016.
MLA (9th ed.) CitationAltenkirch, Thorsten, and Ambrus Kaposi. Normalisation by Evaluation for Dependent Types. 2016.
Warning: These citations may not always be 100% accurate.