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

Étienne Miquey Hugo 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