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]
Abstract is missing.