Login / Signup
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures.
Joachim Niehren
David Sabel
Manfred Schmidt-Schauß
Jan Schwinghammer
Published in:
MFPS (2007)
Keyphrases
</>
lambda calculus
database query languages
predicate calculus
programming language
complex objects
database systems
logic programming
first order logic
expressive power
type checking
relational model
theorem proving
conceptual model
databases
formal model
relational algebra
data model