DE eng

Search in the Catalogues and Directories

Hits 1 – 14 of 14

1
Deverbal Semantics and the Montagovian Generative Lexicon $$\Lambda \!\mathsf Ty}_n$$ Λ Ty n [<Journal>]
Real, Livy [Verfasser]; Retoré, Christian [Verfasser]
DNB Subject Category Language
Show details
2
Deverbal Semantics and the Montagovian Generative Lexicon \Lambda \!\mathsf {Ty}_n Λ Ty n
In: Journal of logic, language and information. - Dordrecht [u.a.] : Kluwer 23 (2014) 3, 347-366
OLC Linguistik
Show details
3
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, &#x27E8;10.1007/978-3-662-48119-6_11&#x27E9; ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls11/index.html (2014)
BASE
Show details
4
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. &#x27E8;10.1007/s10849-014-9187-y&#x27E9; (2014)
BASE
Show details
5
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, &#x27E8;10.1007/978-3-662-44121-3_2&#x27E9; (2014)
BASE
Show details
6
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. &#x27E8;10.1016/j.jal.2013.08.001&#x27E9; (2014)
BASE
Show details
7
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. &#x27E8;10.1016/j.jal.2014.01.001&#x27E9; (2014)
BASE
Show details
8
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
9
Category theory, logic and formal linguistics: some connections, old and new ...
BASE
Show details
10
Deverbal semantics and the Montagovian generative lexicon ...
BASE
Show details
11
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
12
Normalization and sub-formula property for Lambek with product and PCMLL -- Partially Commutative Multiplicative Linear Logic ...
BASE
Show details
13
Typed Hilbert Epsilon Operators and the Semantics of Determiner Phrases (Invited Lecture) ...
Retoré, Christian. - : arXiv, 2014
BASE
Show details
14
Nominalizações
BASE
Show details

Catalogues
0
0
1
0
1
0
0
Bibliographies
0
0
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
12
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern