The simple type theory of normalisation by evaluation (2001)

Cached

Download Links

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
Citations:1 - 0 self