Marcelo P. Fiore. Semantic analysis of normalisation by evaluation for typed lambda calculus. In Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002). pages 26-37, ACM, 2002. [doi]
@inproceedings{Fiore02, title = {Semantic analysis of normalisation by evaluation for typed lambda calculus}, author = {Marcelo P. Fiore}, year = {2002}, doi = {10.1145/571157.571161}, url = {http://doi.acm.org/10.1145/571157.571161}, tags = {analysis}, researchr = {https://researchr.org/publication/Fiore02}, cites = {0}, citedby = {0}, pages = {26-37}, booktitle = {Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)}, publisher = {ACM}, }