Normalization by evaluation for typed lambda calculus with coproducts
Paper i proceeding, 2001
Författare
Thorsten Altenkirch
Peter Dybjer
Programmeringslogik
Martin Hofmann
Philip Scott
Proceedings of 16th Annual Symposium on Logic in Computer Science
1043-6871 (ISSN)
303-3100-7695-1281-X (ISBN)
Ämneskategorier
Annan matematik
DOI
10.1109/LICS.2001.932506
ISBN
0-7695-1281-X