A Probabilistic Call-by-Need Lambda-Calculus - Extended Version.

David Sabel Manfred Schmidt-Schauß Luca Maio

Published in: CoRR (2022)

Keyphrases

lambda calculus
programming language
predicate calculus
higher order
relational databases
databases
object oriented
first order logic
expressive power
program understanding