Login / Signup

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

Taichi YachiEijiro 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