2 |
Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types
|
|
|
|
In: 11th International Workshop on Logic and Engineering of Natural Language Semantics @ JSAI International Symposia on AI (isAI2017) - Revised Selected Papers ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-01098748 ; LENLS: Logic and Engineering of Natural Language Semantics, JSAI / isAI, Nov 2014, Kanagawa, Japan. pp.144-159, ⟨10.1007/978-3-662-48119-6_11⟩ ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls11/index.html (2014)
|
|
BASE
|
|
Show details
|
|
3 |
Deverbal semantics and the Montagovian generative lexicon ΛTyn
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.archives-ouvertes.fr/hal-01120689 ; Journal of Logic, Language and Information, Springer Verlag, 2014, 23 (3), pp.347-366. ⟨10.1007/s10849-014-9187-y⟩ (2014)
|
|
BASE
|
|
Show details
|
|
4 |
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
|
|
5 |
Natural Language Semantics in Biproduct Dagger Categories
|
|
|
|
In: ISSN: 1570-8683 ; Journal of Applied Logic ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-00860382 ; Journal of Applied Logic, Elsevier, 2014, 12, pp.88-108. ⟨10.1016/j.jal.2013.08.001⟩ (2014)
|
|
BASE
|
|
Show details
|
|
6 |
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
|
|
7 |
Partially Commutative Linear Logic and Lambek Caculus with Product: Natural Deduction, Normalisation, Subformula Property
|
|
|
|
In: ISSN: 2055-3706 ; IfColog Journal of Logics and their Applications (FLAP) ; https://hal.archives-ouvertes.fr/hal-01071642 ; IfColog Journal of Logics and their Applications (FLAP), College Publications, 2014, 1 (1), pp.53-94 ; http://www.collegepublications.co.uk/downloads/ifcolog00001.pdf (2014)
|
|
BASE
|
|
Show details
|
|
8 |
Category theory, logic and formal linguistics: some connections, old and new ...
|
|
|
|
BASE
|
|
Show details
|
|
9 |
Deverbal semantics and the Montagovian generative lexicon ...
|
|
|
|
BASE
|
|
Show details
|
|
10 |
The Montagovian Generative Lexicon Lambda Ty_n: a Type Theoretical Framework for Natural Language Semantics ...
|
|
Retoré, Christian. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany, 2014
|
|
BASE
|
|
Show details
|
|
11 |
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture) ...
|
|
|
|
BASE
|
|
Show details
|
|
|
|