2 |
Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars
|
|
|
|
In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021)
|
|
BASE
|
|
Show details
|
|
5 |
Parameterized monads in linguistics
|
|
|
|
Abstract:
A thesis submitted in partial fulfilment of the requirements of the University of Wolverhampton for the degree of Doctor of Philosophy. ; This dissertation follows the formal semantics approach to linguistics. It applies recent developments in computing theories to study theoretical linguistics in the area of the interaction between semantics and pragmatics and analyzes several natural language phenomena by parsing them in these theories. Specifically, this dissertation uses parameterized monads, a particular theoretical framework in category theory, as a dynamic semantic framework to reinterpret the compositional Discourse Representation Theory(cDRT), and to provide an analysis of donkey anaphora. Parameterized monads are also used in this dissertation to interpret information states as lists of presuppositions, and as dot types. Alternative interpretations for demonstratives and imperatives are produced, and the conventional implicature phenomenon in linguistics substantiated, using the framework. Interpreting donkey anaphora shows that parameterized monads is able to handle the sentential dependency. Therefore, this framework shows an expressive power equal to that of related frameworks such as the typed logical grammar and the dynamic predicate logic. Interpreting imperatives via parameterized monads also provides a compositional dynamic semantic analysis which is one of the main approaches to analysing imperatives.
|
|
Keyword:
category theory; conventional implicature; demonstrative; dot types; dynamic semantics; formal semantics; imperative; lambda calculus; monads; type theory
|
|
URL: http://hdl.handle.net/2436/624322
|
|
BASE
|
|
Hide 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
|
|
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
|
|
|
|
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
|
|
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
|
|
|
|
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
|
|
18 |
Влияние диалога «Бруно» Шеллинга на спекулятивный метод Гегеля ... : THE INFLUENCE OF THE DIALOGUE «BRUNO» SCHELLING ON THE SPECULATIVE METHOD OF HEGEL ...
|
|
|
|
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
|
|
|
|