Infinite normal forms for the lambda - calculus.
Reiji NakajimaPublished in: Lambda-Calculus and Computer Science Theory (1975)
Keyphrases
- normal form
- lambda calculus
- relational algebra
- database query languages
- programming language
- functional dependencies
- database design
- database theory
- nested relations
- relational databases
- predicate calculus
- complex objects
- prime implicates
- high level
- database systems
- program understanding
- object oriented databases
- general purpose
- software engineering