Sign in

Realizability Interpretation and Normalization of Typed Call-by-Need \lambda -calculus with Control.

Étienne MiqueyHugo Herbelin
Published in: FoSSaCS (2018)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • higher order
  • database query languages
  • complex objects
  • reverse engineering
  • case study
  • high level