| 1 |
On the system F as a glue language for natural-language compositional-semantics
|
|
|
|
In: https://hal.inria.fr/inria-00616704 ; 2011 (2011)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Specimens: "most of" generic NPs in a contextually flexible type theory
|
|
|
|
In: Genius III ; https://hal.inria.fr/inria-00637326 ; Genius III, Dec 2011, Paris, France (2011)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Quantification in ordinary language ; Quantification in ordinary language: from a critique of set-theoretic approaches to a proof-theoretic proposal
|
|
|
|
In: 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE ; https://hal.archives-ouvertes.fr/hal-00607678 ; 14TH CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, Jul 2011, Nancy, France. http://www.univ-nancy2.fr/poincare/documents/CLMPS2011ABSTRACTS/14thCLMPS2011_C2_Abrusci-Retore.pdf (2011)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
Quantification and interaction
|
|
|
|
In: Rebuilding logic and rethinking language in interaction terms (CLMPS workshop) ; https://hal.archives-ouvertes.fr/hal-00607676 ; Rebuilding logic and rethinking language in interaction terms (CLMPS workshop), Jul 2011, France (2011)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Categorial Minimalist Grammar: From Generative Syntax To Logical Form
|
|
|
|
In: ISSN: 0098-9053 ; Linguistic Analysis ; https://hal.archives-ouvertes.fr/hal-00545748 ; Linguistic Analysis, David R. Willingham, 2010, 36 (1--4), pp.273--306 (2010)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
On the Membership Problem for Non-Linear Abstract Categorial Grammars
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/inria-00446785 ; Journal of Logic, Language and Information, Springer Verlag, 2010, 19 (2), pp.163-183. ⟨10.1007/s10849-009-9110-0⟩ ; http://www.springerlink.com/content/f3g38386p568n7j4/ (2010)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Proof nets without links for Lambek calculus and partially commutative linear logic
|
|
|
|
In: 50 years of the Syntactic calculus ; https://hal.archives-ouvertes.fr/hal-00409487 ; 50 years of the Syntactic calculus, Jul 2008, Chieti, Italy (2008)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Ludique : une logique sans axiome d'identité
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00422691 ; 2008 (2008)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Un sens logique pour les graphes sémantiques
|
|
|
|
In: Actes de la 15e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2008) ; 15e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2008) ; https://hal.archives-ouvertes.fr/hal-00306308 ; 15e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2008), Jun 2008, Avignon, France. pp.498-507 (2008)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
Natural Deduction and Normalisation for Partially Commutative Linear Logic and Lambek Calculus with Product
|
|
|
|
In: Computation and Logic in the Real World (Computing in Europe 2007) ; https://hal.archives-ouvertes.fr/hal-00409486 ; Computation and Logic in the Real World (Computing in Europe 2007), Jun 2007, Siena, Italy. pp.28--44 (2007)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
Intensional Models for the Theory of Types
|
|
|
|
In: ISSN: 0022-4812 ; EISSN: 1943-5886 ; The Journal of Symbolic Logic ; https://hal.archives-ouvertes.fr/hal-00412577 ; The Journal of Symbolic Logic, Association for Symbolic Logic, 2007, 72 (1), pp.98--118 (2007)
|
|
BASE
|
|
Show details
|
|
|
|
|
