Strong Normalization in a Non-Deterministic Typed Lambda-Calculus.

Philippe de Groote

Published in: LFCS (1994)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
complex objects
higher order
program understanding
query optimization
databases
high level
data model
open source
database management systems
software maintenance
predicate logic