Normalization by evaluation for Martin-Löf type theory with one universe (2007)

by Andreas Abel , Klaus Aehlig , Peter Dybjer
Venue:IN 23RD CONFERENCE ON THE MATHEMATICAL FOUNDATIONS OF PROGRAMMING SEMANTICS, MFPS XXIII, ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Citations:22 - 12 self