| 1 |
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Comparing and evaluating extended Lambek calculi
|
|
|
|
In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Wide-Coverage French Syntax and Semantics using Grail
|
|
|
|
In: TALN 2010 ; https://hal.inria.fr/inria-00494064 ; TALN 2010, Jul 2010, Montréal, Canada (2010)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Semi-automated Extraction of a Wide-Coverage Type-Logical Grammar for French
|
|
|
|
In: TALN 2010 ; https://hal.inria.fr/inria-00494062 ; TALN 2010, Jul 2010, Montréal, Canada (2010)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Polynomial Pregroup Grammars parse Context Sensitive Languages
|
|
|
|
In: ISSN: 0098-9053 ; Linguistic Analysis ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00538562 ; Linguistic Analysis, David R. Willingham, 2010, 36 (Lambek Festschrift), pp.483-516 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Polynomial Pregroup Grammars parse Context Sensitive Languages
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-00412876 ; RR-09024, 2009, pp.1-26 (2009)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Generalized Quantifiers in Declarative and Interrogative Sentences
|
|
In: http://hal.archives-ouvertes.fr/docs/00/27/87/95/PDF/bernardimoot00gq.pdf (2008)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Generalizing a Proof-Theoretic Account of Scope Ambiguity
|
|
|
|
In: Proceedings of the 7th International Workshop on Computational Semantics (IWCS-7) ; https://hal.inria.fr/inria-00112898 ; Proceedings of the 7th International Workshop on Computational Semantics (IWCS-7), Jan 2007, Tilburg, Netherlands (2007)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Type logic served by co-Merge, Merge and Move: an account for sluicing and questions of “common European” and Japanese types
|
|
|
|
In: Syntactic structures / Синтаксические Структуры (Sintaksicheskie struktury) ; https://hal.inria.fr/inria-00138201 ; Syntactic structures / Синтаксические Структуры (Sintaksicheskie struktury), A.B. Letuchiy, V.S. Volk, N.A. Korotkova, Ya.G. Testelets, Apr 2007, Moscow, Russia (2007)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Generalized Quantifiers in Declarative and Interrogative Sentences
|
|
|
|
In: http://www.let.uu.nl/%7ERaffaella.Bernardi/personal/igpl.pdf (2003)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Generalized Quantifiers in Declarative and Interrogative Sentences
|
|
|
|
In: http://www.let.uu.nl/%7ERaffaella.Bernardi/personal/jlac.pdf (2000)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Proof-Nets, hybrid logics and minimalist representations
|
|
|
|
In: http://www-bshm.upmf-grenoble.fr/~alecomte/lecomte-mol6.ps (1999)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Syntactic Connectivity
|
|
|
|
In: http://www.lsi.upc.es/~morrill/papers/synconn.ps.gz
|
|
BASE
|
|
Show details
|
|
|
|
|
