Normalization by evaluation for typed lambda calculus with coproducts
Paper in proceedings, 2001
Author
Thorsten Altenkirch
Peter Dybjer
Programming Logic
Martin Hofmann
Philip Scott
Proceedings of 16th Annual Symposium on Logic in Computer Science
1043-6871 (ISSN)
303-310Subject Categories
Other Mathematics
DOI
10.1109/LICS.2001.932506
ISBN
0-7695-1281-X