Recognizability in the Simply Typed Lambda-Calculus
Langue
en
Communication dans un congrès
Ce document a été publié dans
16th Workshop on Logic, Language, Information and Computation, 2009, Tokyo. 2009
Résumé en anglais
We define a notion of recognizable sets of simply typed λ-terms that extends the notion of recognizable sets of strings or trees. This definition is based on finite models. Using intersection types, we generalize the notions ...Lire la suite >