Term rewriting for normalization by evaluation

by Ulrich Berger , Matthias Eberl , Helmut Schwichtenberg
Venue:19–42, International Workshop on Implicit Computational Complexity (ICC’99
Citations:12 - 3 self