Normalization by Evaluation for Typed Lambda Calculus with Coproducts.

Thorsten Altenkirch Peter Dybjer Martin Hofmann Philip J. Scott

Published in: LICS (2001)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
databases
complex objects
relational databases