Recherche
-
A Montague-based model of Generative Lexical Semantics
Communication dans un congrès -
Parsing Corpus-Induced Type-Logical Grammars
Communication dans un congrès -
Proof nets for display logic
Autre document -
Linguistique computationnelle : entre sciences cognitives et traitement automatique des langues
(ARCo, FR, Bordeaux, 2006)Autre communication scientifique (congrès sans actes - poster - séminaire...) -
Autowrite: A Tool for Term Rewrite Systems and Tree Automata
Communication dans un congrès -
On the Modularity of Deciding Call-by-Need
Communication dans un congrès -
Autowrite: A Tool for Checking Properties of Term Rewriting Systems
Communication dans un congrès -
Encoding second order string ACG with Deterministic Tree Walking Transducers.
Communication dans un congrès -
Architecture de l'ordinateur
(Dunod, 2005)Ouvrage