Characterization of strong normalizability for a sequent lambda calculus with co-control.

José Espírito Santo Silvia Ghilezan

Published in: PPDP (2017)

Keyphrases

lambda calculus
predicate calculus
programming language
database
formal model
reverse engineering