1 |
On the Dual Interpretation of Nouns as Types and Predicates in Semantic Type Theories
|
|
|
|
In: 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021 ; https://hal.archives-ouvertes.fr/hal-03468606 ; 2nd Workshop on Computing Semantics with Types, Frames and Related Structures, ESSLLI 2021, Jul 2021, Virtual, Netherlands (2021)
|
|
BASE
|
|
Show details
|
|
2 |
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
|
|
3 |
Lexical selection, coercion, and record types
|
|
|
|
In: LENLS17 : Logic & Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-03076311 ; LENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan (2020)
|
|
BASE
|
|
Show details
|
|
4 |
A Topos-Based Approach to Building Language Ontologies
|
|
|
|
In: Formal Grammar. 24th International Conference, FG 2019 ; https://hal.inria.fr/hal-02418029 ; Formal Grammar. 24th International Conference, FG 2019, Aug 2019, Riga, Latvia. pp.18-34, ⟨10.1007/978-3-662-59648-7_2⟩ (2019)
|
|
BASE
|
|
Show details
|
|
|
|