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-310

Subject Categories

Other Mathematics

DOI

10.1109/LICS.2001.932506

ISBN

0-7695-1281-X

More information

Created

10/7/2017