H.: Normalization by evaluation. Prospects for Hardware Foundations (1998)

by U Berger, M Eberl, Schwichtenberg
Venue:http://www.lix.polytechnique.fr/dedukti version 1 - 21 Nov 2009