| 1 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Conceptual alternatives: Competition in language and beyond
|
|
|
|
In: Linguistics & Philosophy ; https://hal.archives-ouvertes.fr/hal-03102612 ; Linguistics & Philosophy, In press (2021)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Multiplicative Linear Logic from Logic Programs and Tilings
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
A gentle introduction to Girard's Transcendental Syntax for the linear logician
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Stellar Resolution: Multiplicatives - for the linear logician, through examples
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Covariant Subtyping Applied to Semantic Predicate Calculi
|
|
|
|
In: LACL 2021 - Logical Aspects of Computational Linguistics ; https://hal.inria.fr/hal-03542057 ; LACL 2021 - Logical Aspects of Computational Linguistics, Dec 2021, Montpellier (online), France (2021)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
Dialogue Modeling in a Dynamic Framework ; Modélisation dynamique des dialogues
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-03541628 ; Computation and Language [cs.CL]. Université de Lorraine; École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine, 2021. English. ⟨NNT : 2021LORR0199⟩ (2021)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Cyclic scope and processing difficulty in a Minimalist parser
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 8 ; 2397-1835 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Revisiting subjunctive obviation in French: a formal acceptability judgment study
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 59 ; 2397-1835 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Approximation derived from a scalar exclusive particle associating with covert focus: The case of Hebrew be-sax ha-kol
|
|
|
|
In: Glossa: a journal of general linguistics; Vol 6, No 1 (2021); 5 ; 2397-1835 (2021)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Ideal Words: A Vector-Based Formalisation of Semantic Competence ...
|
|
|
|
BASE
|
|
Show details
|
|
|
| 16 |
現代中国語の限定語の意味指示と論理分析 ; A Logical Analysis of the Semantic Orientation of Attributives in Mandarin Chinese
|
|
劉 燕嵐; リュウ エンラン. - : 神奈川大学人文学会, 2021. : The Society of Humanities at Kanagawa University, 2021
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Translation of CCS into CSP, Correct up to Strong Bisimulation ; Springer LNCS ; Software Engineering and Formal Methods (SEFM 21)
|
|
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Ideal Words: A Vector-Based Formalisation of Semantic Competence
|
|
|
|
BASE
|
|
Show details
|
|
|
|
|
