Login / Signup
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage.
Daniel J. Dougherty
Silvia Ghilezan
Pierre Lescanne
Published in:
Theor. Comput. Sci. (2008)
Keyphrases
</>
lambda calculus
programming language
predicate calculus
higher order
database query languages
user defined
program understanding
high level
data structure
complex objects