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

Ämneskategorier

Annan matematik

DOI

10.1109/LICS.2001.932506

ISBN

0-7695-1281-X