Unique Normal Forms for Lambda Calculus with Surjective Pairing

Jan Willem Klop Roel C. de Vrijer

Published in: Inf. Comput. (1989)

Keyphrases

normal form
lambda calculus
relational algebra
database query languages
database design
programming language
relational databases
functional dependencies
database theory
nested relations
prime implicates
predicate calculus
program understanding
complex objects
database systems
relational calculus