Characterizing strong normalization in a language with control operators.

Daniel J. Dougherty Silvia Ghilezan Pierre Lescanne

Published in: PPDP (2004)

Keyphrases

control structures
control method
control theory
control structure
control system
programming language
language learning
morphological operators
data sets
metadata
expressive power
conceptual graphs
computational linguistics