Fully Abstract Semantics for Concurrent Lambda-calculus.
Mariangiola Dezani-CiancagliniUgo de'LiguoroAdolfo PipernoPublished in: TACS (1994)
Keyphrases
- lambda calculus
- database query languages
- predicate calculus
- programming language
- relational algebra
- database systems
- formal model
- first order logic
- relational model
- query language
- expressive power
- logic programming
- predicate logic
- higher level
- complex objects
- high level
- conceptual model
- semantic network
- theorem proving
- type checking