On Coupled Logical Bisimulation for the Lambda-Calculus.

Ryan Kavanagh Jean-Marie Madiot

Published in: CoRR (2014)

Keyphrases

lambda calculus
predicate calculus
programming language
program understanding
database query languages
higher order
complex objects
case study
databases
high level
first order logic
formal model
theorem proving