Quantitative semantics of the lambda calculus: Some generalisations of the relational model.

Published in: LICS (2017)

Keyphrases

lambda calculus
database query languages
predicate calculus
programming language
relational algebra
semantic network
complex objects
first order logic
expressive power
logic programming
query language
type checking
program understanding
database systems
open source
co occurrence
general purpose
data structure