Skip to Main content Skip to Navigation
Conference papers

Lexical Semantics with Linear Types

Abstract : We have proposed a framework based upon the λ-calculus with higher-order Intuitionist types for the symbolic computation of the semantic analysis, integrating lexical data. This proposal is sufficient for many phenomena and accurately incorporates lexical semantics by the means of type theory, but some issues linger in the linguistic data. In the present paper, we revisit this proposal with a version of the λ-calculus based upon higher-order linear types, that aims to resolve those issues and present an integrated framework for meaning assembly.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.inria.fr/hal-01214442
Contributor : Bruno Mery <>
Submitted on : Monday, October 12, 2015 - 12:14:35 PM
Last modification on : Thursday, April 18, 2019 - 6:54:02 PM
Long-term archiving on: : Thursday, April 27, 2017 - 12:28:53 AM

File

mery-nlcs15-final.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01214442, version 1

Collections

Citation

Bruno Mery. Lexical Semantics with Linear Types. NLCS'15. Third Workshop on Natural Language and Computer Science, Makoto Kanazawa, Jul 2015, Kyoto, Japan. pp.72. ⟨hal-01214442⟩

Share

Metrics

Record views

108

Files downloads

346