DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...26
Hits 1 – 20 of 517

1
Semantics with assignment variables
Silk, Alex. - Cambridge, United Kingdom : Cambridge University Press, 2021
BLLDB
UB Frankfurt Linguistik
Show details
2
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
Moot, Richard. - : HAL CCSD, 2021
In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
BASE
Show details
3
Digital Currencies as Types (Invited Talk) ...
Zakian, Timothy A. K.. - : Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021
BASE
Show details
4
Leo-III – A Theorem Prover for Higher-Order Logic ...
BASE
Show details
5
Parameterized monads in linguistics
Viet, Ha Bui. - : University of Wolverhampton, 2021
BASE
Show details
6
LANGUAGE STYLE IN FASHION ADVERTISEMENTS OF ONLINE VOGUE MAGAZINE
In: Journal of Applied Linguistics and Literature, Vol 6, Iss 2, Pp 277-289 (2021) (2021)
BASE
Show details
7
Something out of nothing: the semantics and pragmatics of implicit quantification
Cohen, Ariel. - Boston : Brill, 2020
UB Frankfurt Linguistik
Show details
8
Something out of nothing : the semantics and pragmatics of implicit quantification
Cohen, Ariel. - Boston : Brill, 2020
BLLDB
UB Frankfurt Linguistik
Show details
9
Proof-theoretic aspects of NLλ
In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020)
BASE
Show details
10
The Logic of Language: from the Distributional to the Structuralist Hypothesis through Types and Interaction
In: https://hal.archives-ouvertes.fr/hal-03064480 ; 2020 (2020)
BASE
Show details
11
A type theoretic approach to weak w-categories and related higher structures ; Catégories faibles et structures supérieures afférentes en théorie des types
Benjamin, Thibaut. - : HAL CCSD, 2020
In: https://tel.archives-ouvertes.fr/tel-03106197 ; Formal Languages and Automata Theory [cs.FL]. Institut Polytechnique de Paris, 2020. English. ⟨NNT : 2020IPPAX077⟩ (2020)
BASE
Show details
12
Mehrdimensionale Beschreibung erbaulicher Textsorten des 17. Jahrhunderts : ein korpusbasierter Ansatz
In: Jahrbuch für germanistische Sprachgeschichte. - Berlin : de Gruyter 10 (2019), 324-344
BLLDB
Show details
13
A computational account of virtual travelers in the Montagovian generative lexicon
In: The Semantics of Dynamic Space in French ; https://hal.archives-ouvertes.fr/hal-02093536 ; Michel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩ ; https://benjamins.com/catalog/hcp.66.09lef (2019)
BASE
Show details
14
On the expressive power of indexed applicative and monadic structures ; Sur le pouvoir expressif des structures applicatives et monadiques indexées
Malakhovski, Ian. - : HAL CCSD, 2019
In: https://tel.archives-ouvertes.fr/tel-02735749 ; Analyse numérique [cs.NA]. Université Paul Sabatier - Toulouse III, 2019. Français. ⟨NNT : 2019TOU30118⟩ (2019)
BASE
Show details
15
Experiential versus attitudinal topic types and task performance in EFL monologues
In: Indonesian Journal of Applied Linguistics, Vol 9, Iss 2, Pp 404-412 (2019) (2019)
BASE
Show details
16
Register variation in written contact varieties of English : a multidimensional analysis
In: English world-wide. - Amsterdam [u.a.] : Benjamins 39 (2018) 2, 214-242
BLLDB
Show details
17
The definition of the TOPIC within Language into Act Theory and its identification in spontaneous speech corpora
In: Revue romane. - Amsterdam [u.a] : Benjamins 53 (2018) 1, 30-62
BLLDB
Show details
18
Влияние диалога «Бруно» Шеллинга на спекулятивный метод Гегеля ... : THE INFLUENCE OF THE DIALOGUE «BRUNO» SCHELLING ON THE SPECULATIVE METHOD OF HEGEL ...
Лопатюк Роман Юрьевич. - : Вестник Челябинского государственного университета, 2018
BASE
Show details
19
The Clocks They Are Adjunctions Denotational Semantics for Clocked Type Theory
Mannaa, Bassel. - : Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2018. : LIPIcs - Leibniz International Proceedings in Informatics. 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), 2018
BASE
Show details
20
Bertrand Russell and the nature of propositions : a history and defence of the multiple relation theory of judgement
Lebens, Samuel. - London : Routledge, 2017
BLLDB
UB Frankfurt Linguistik
Show details

Page: 1 2 3 4 5...26

Catalogues
114
3
6
0
0
5
1
Bibliographies
370
1
0
0
0
0
0
0
0
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
126
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern