Contextual Equivalence in a Probabilistic Call-by-Need Lambda-Calculus.

David Sabel Manfred Schmidt-Schauß Luca Maio

Published in: PPDP (2022)

Keyphrases

lambda calculus
context sensitive
programming language
predicate calculus
complex objects
database systems
higher order