the logic of categorial grammars - Signes - LaBRI
1 sept. 2016 ... [4] D. MARKER, Model theory, An introduction, Graduate Texts in ... Étude de
quelques grands résultats du lambda-calcul pur (confluence, ... Les TD
permettront également des traiter quelques démonstrations ... et Modèles (
Masson, 1990, ou E. Horwood : Lambda-calculus : types ..... mu-mu-tilde et LKtq.Télécharger the logic of categorial grammars - Signes - LaBRI pdf
