Semantics of the probabilistic Lambda Calculus By Dirk Draheim.

Published in: Formal Aspects Comput. (2021)

Keyphrases

lambda calculus
database query languages
predicate calculus
programming language
complex objects
theorem proving
artificial intelligence
first order logic
relational algebra
general purpose
relational model
program understanding
logic programming
conceptual model