A Typed Lambda Calculus with Categorical Type Constructors.
Tatsuya HaginoPublished in: Category Theory and Computer Science (1987)
Keyphrases
- lambda calculus
- database query languages
- programming language
- type checking
- predicate calculus
- program understanding
- higher order
- expressive power
- complex objects
- relational algebra
- database systems
- query language
- general purpose
- relational databases
- artificial intelligence
- databases
- database
- integrity constraints
- relational model
- data model