Normalization by Evaluation for lambda

Thorsten Altenkirch, Tarmo Uustalu

Browse the full FLOPS paper archive.