Type-theoretical
natural language semantics: on the system F for meaning assembly
talk at Types 2013, Toulouse
Introduction to the
workshop on the logic of the lexicon
Toulouse, january 28th 2013.
A type
theoretical framework for compositional semantics and lexical
pragmatics — determiners and quantifiers. Talk at the
workshop on the logic of the lexicon
Toulouse, january 30th 2013.
(with Nicholas
Asher) Méthodes Symboliques en Traitement Automatique des
Langues, Journée des instituts INS2I & INSHS du CNRS
sur le Traitement Automatique des Langues en France (organisée
par Isabelle Tellier) Nancy, 15 janvier 2013
(Slides
in English, more or less as below) Sémantique du langage naturel
en théorie des types
, Séminaire TEXTE, LIRMM, Montpellier, 14 nov. 2012
Some
type theoretic accounts of natural language semantics
Transparents en anglais de ma présentation au thème 4 de l'IRIT,
le 5 octobre 2012, avec quelques références à la fin.
Présentation
du programme de travail (2012--2013) dans Melodi (IRIT,
Toulouse) voir aussi le programme de recherche
pour une d�l�gation � l'IRIT soumis au C.N.R.S. (et accept�,
un grand merci au C.N.R.S.!) Quelques références:
The slides and other material for the ESSLLI course (Opole,
August 2012) Proofs, models and categories for
type theory, with selected applications to natural language
semantics
Some pragmatic and
semantic applications of the system F February 10 2012, talk
at the school/workshops Logic
and Interactions 2012, CIRM, Marseilles, January 30 March 2
2012.
Quelles formules logiques peut-on associer aux d�terminants
g�n�riques? Voir les expos�s ci-dessous sur la quantification, �
Genius III et au CLMPS. Atelier
d�terminants et inf�rence, 16 d�cembre 2011.
De la logique du second ordre comme langage d'assemblage pour la
s�mantique et pour la pragmatique lexicale: application � quelques
ph�nom�nes linguistiques: glissements de sens en contexte,
quantification g�n�ralis�e, pluriels,... Voir les deux exposés
ci-dessous. Exposé au CEPERC,
Aix-en-Provence, le 8 décembre 2011.
Specimens: "most
of" generic NPs in a contextually flexible type theory -- An
example of second order λ-calculus for meaning assembly talk
at the Genius III
conference, Paris, Dec 5-6, 2011
Discursive
analysis of itineraries in a historical regional corpus of
travels: syntax, semantics & pragmatics in a unified type
theoretical framework — with a close-up on system F Toulouse
ITIPY meeting on spatial semantics Nov. 7, 2011.
A
discursive analysis of itineraries in an historical and regional
corpus of travels:syntax, semantics, and pragmatics in a unified
type theoretical framework see publications
for the paper. In Contraints in
Discourse 2011, Agay, sept. 14-16
Quantification
and Interaction. Vito Michele Abrusci and Christian Retore
Affiliated LOCI Symposium 14th Congress of Logic, Methodology and
Philosophy of Sciences, Nancy 19-26 july [Shorter version:
Quantification in ordinary language: from a critic of
set-theoretic approaches to a proof-theoretic proposal Session C2
same congress: Slides
- 2 page abstract]
Logique mathématique et
linguistique formelle. Christian Retoré, Leçons de
mathématiques d'aujourd'hui. 7 juillet 2011.
Comment
prendre en compte la s�mantique lexicale dans une grammaire
cat�gorielle? Expos� au Laboratoire Parole et Langage
Aix-en-Provence, mercredi 19 janvier 2011, (2e partie d'un exposé
de Richard Moot)
La
quantification en logique et en langue: complexit� linguistique
Journ�e de Complexit� Linguistique
Laboratoire Parole et Langage, Aix-en-Provence Mardi 18
janvier 2011(plus court que le suivant, mais plus orienté vers la
linguistique expérimentale)
La
quantification en logique et en linguistique, journée
Méthodes Formelles du LaBRI, 14
janvier 2011.
Un peu de
nuance dans une logique de brutes: la question du sens en
linguistique informatique. Séminaire Unithé ou café, INRIA
Bordeaux Sud-Ouest, 17 décembre 2010.
Parler et
comprendre : processus cognitifs et modèles informatiques de la
faculté langage. Conférence proposé par l'Asco
et club cognitique, Bordeaux, Université Bordeaux 2 Victor
Ségalen, place de la Victoire, amphi Pîtres, jeudi 2 décembre
2010, 18:00.
Which type
theory for lexical semantics, exposé aux 16e
rencontres Logique, Algèbre, Calcul, GDR Informatique Mathématique,
16-17 novembre 2010, PPS.
Inserting
lexical semantics into montagovian compositional semantics,
séminaire TAL
du LIRMM, 5 juillet 2010.
Avec Jean
Gillibert: Faisceaux
en logique et en géométrie, journées maths-info de l'UFR éponyme
- 2 juillet 2010.
Sémantique et
modélisation dans le cadre de la logique catégorique. Séminaire
ANR GENIUS IJN/IHESS/ENS 15 avril 2010.
Proposition de coopération LABRI IMB Modèles géométriques
de la logique linéaire.
Lexique,
composition et logique, prospective en sémantique formelle, GDR sémantique et
modélisation, réunion du vendredi 13 mars 2009 à Bordeaux.
Towards a logical model
of some aspects of lexical semantics Séminaire du LIPN, 25
janvier 2010.
Categorial
grammars for computing the correspondence between syntax and
semantics -- an example of interplay between mathematical logic
and computational linguistics Mini cours à Ealing, ENS,
septembre 2008. (only this was
actually achieved)
Proofnets, cographs and
perfect matchings (Graphes de démonstration, cographes et
couplages parfaits). LaBRI, Groupe de Travail
Graphes et Applications, 18 janvier 2008.
Which formal
languages for natural languages (Mosaïque last meeting in
Arcachon, december 7th 2007)
Modéliser le langage: La
linguistique computationnelle au carrefour de l’informatique, de
la linguistique, des sciences cognitives et des outils pour
l’Internet (avec un aparté sur l'étude formelle de la langue des
signes française) Conférence à l'Université ouverte de
Cergy-Pontoise, 29 novembre 2007.
Handling logical
polysemy within simple type theory. Journées Prélude à Pauillac, 1er
novembre 2007.
On the trees
underlying natural language sentences, Colloquium
in honor of Gérard Huet, June 22nd -23rd, 2007, Paris.
Perfect
matchings and directed cographs: proofnets for pomset logic and
the origins of deep inference, Theory
and Application of Deep Inference, June 21st, 2007,
Palaiseau.
SIides from the Geometry and
computation (GEOCAL 06) , session on Logic
and linguistics Marseille, Februrary 2006
Habilitation à Diriger
des Recherches: Logique linéaire et syntaxe des langues soutenue
le 4 janvier 2002 (Président: A. Dikovsky , Rapporteurs: G.
Huet, J. Lambek, M. Moortgat, Examinateurs: C. Gardent, G. Kahn,
J.-X. Rampon, O. Ridoux)Version d'avril 2002 PDF - A4 paper
ou PDF - letter
paper Slides from the defense for viewing or
for printing(thanks
to Michael Moortgat for providing the pdflatex package)