Universal Semantics for the Stochastic Lambda-Calculus.

Pedro H. Azevedo de Amorim Dexter Kozen Radu Mardare Prakash Panangaden Michael Roberts

Published in: CoRR (2020)

Keyphrases

lambda calculus
database query languages
predicate calculus
programming language
logic programming
expressive power
query language
database systems
predicate logic
database
complex objects
semantic network
relational model
formal model
higher order
program understanding