The simple type theory of normalisation by evaluation (2001)

by René Vestergaard
Venue:Proceedings of the First International Workshop on Reduction Strategies in Rewriting and Programming (WRS 2001), number 57 in Electronic Notes in Theoretical Computer Science