A Sound and Complete Bisimulation for Contextual Equivalence in \lambda -Calculus with Call/cc.

Taichi Yachi Eijiro Sumii

Published in: APLAS (2016)

Keyphrases

lambda calculus
programming language
predicate calculus
equivalence relation
program understanding
expert systems
database query languages
artificial intelligence
data management