A Compiled Implementation of Normalization by Evaluation. Theorem Proving (2008)

by K Aehlig, F Haftmann, T Nipkow
Venue:in Higher Order Logics (TPHOLs 2008), Lecture Notes in Computer Science