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:11 - 2 self