Normalization by evaluation for lambda 2
statement of authorship
Thorsten Altenkirch and Tarmo Uustalu
source
Functional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings
location of publication
Berlin
publisher
year of publication
pages
p. [260]-275
ISBN
3-540-21402-X
notes
Bibliogr.: 13 ref
Altenkirch, T., Uustalu, T.* Normalization by evaluation for lambda 2 // Functional and Logic Programming : 7th International Symposium, FLOPS 2004 : Nara, Japan, April 7-9, 2004 : proceedings. Berlin : Springer, 2004. p. [260]-275.