Normalization by evaluation for typed lambda calculus with coproducts
Paper in proceeding, 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-3100-7695-1281-X (ISBN)
Subject Categories
Other Mathematics
DOI
10.1109/LICS.2001.932506
ISBN
0-7695-1281-X