| 1 |
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases
|
|
|
|
In: 19th Conference on Formal Grammar held in conjunction with the 26th European Summer School in Logic, Language and Information (ESSLLI) ; FG: Formal Grammar ; https://hal.archives-ouvertes.fr/hal-01009753 ; FG: Formal Grammar, Aug 2014, Tübingen, Germany. pp.15-33, ⟨10.1007/978-3-662-44121-3_2⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Category theory, logic and formal linguistics: some connections, old and new
|
|
|
|
In: ISSN: 1570-8683 ; Journal of Applied Logic ; https://hal.archives-ouvertes.fr/hal-00936338 ; Journal of Applied Logic, Elsevier, 2014, 12 (1), pp.1-13. ⟨10.1016/j.jal.2014.01.001⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Logique mathématique et linguistique formelle
|
|
|
|
In: Leçons de mathématiques d'aujourd'hui ; https://hal.archives-ouvertes.fr/hal-00607693 ; Géraud Sénizergues. Leçons de mathématiques d'aujourd'hui, Cassini, pp.24, 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics
|
|
|
|
In: 19th International Conference on Types for Proofs and Programs (TYPES 2013) ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-01009838 ; TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩ (2013)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Some proof theoretical remarks on quantification in ordinary language
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00779223 ; 2013 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
Type-theoretical natural language semantics: on the system F for meaning assembly
|
|
|
|
In: TYPES 2013 book of abstracts ; TYPES 2013 ; https://hal.archives-ouvertes.fr/hal-00799685 ; TYPES 2013, Apr 2013, Toulouse, France. pp.64--65 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Variable types for meaning assembly: a logical syntax for generic noun phrases introduced by "most"
|
|
|
|
In: ISSN: 0986-6124 ; EISSN: 1958-9239 ; Recherches linguistiques de Vincennes ; https://hal.archives-ouvertes.fr/hal-00677312 ; Recherches linguistiques de Vincennes, Presses Universitaires de Vincennes, 2012, 41, pp.83-102 (2012)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
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
|
|
|
| 9 |
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
|
|
|
| 10 |
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
|
|
|
| 11 |
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
|
|
|
| 12 |
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
|
|
|
| 13 |
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
|
|
|
| 14 |
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
|
|
|
| 15 |
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
|
|
|
| 16 |
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
|
|
|
| 17 |
Proof nets without links for cyclic linear logic and Lambek calculus (joint work with S. Pogodalla)
|
|
|
|
In: GEOCAL Workshop on logic and linguistics ; https://hal.archives-ouvertes.fr/hal-00418580 ; GEOCAL Workshop on logic and linguistics, Feb 2006, Marseille, France (2006)
|
|
BASE
|
|
Show details
|
|
|
|
|
