A Self-Interpreter of Lambda Calculus Having a Normal Form.
Alessandro BerarducciCorrado BöhmPublished in: CSL (1992)
Keyphrases
- normal form
- lambda calculus
- programming language
- database design
- relational algebra
- object oriented
- relational databases
- functional dependencies
- database theory
- nested relations
- general purpose
- database query languages
- predicate calculus
- high level
- software engineering
- higher order
- case study
- first order logic
- database systems