Normalization by evaluation for lambda 2
author
Altenkirch, Thorsten
Uustalu, Tarmo
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
Springer
year of publication
2004
pages
p. [260]-275
subject term
semantika
arvutusmeetodid
Boole'i funktsioonid
hindamine
ISBN
3-540-21402-X
notes
Bibliogr.: 13 ref
language
inglise