Context Update for Lambdas and Vectors

DOI10.1007/978-3-662-53826-5_15MaRDI QIDQ2964008zbMATH OpenOpenAlexFDO

Authors Mehrnoosh Sadrzadeh, Reinhard A. Muskens

Publication date 22 February 2017

Published in Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016) (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://philpapers.org/rec/MUSCUF

zbMATH Keywords

compositionalitysimply typed lambda-calculusvector semanticscontext change potentialcontext update

Mathematics Subject Classification ID

Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

Recommendations

• The lambda-context calculus (extended version)
• Lambda-confluence for context rewriting systems
• A calculus of lambda calculus contexts
• Update monads: cointerpreting directed containers
• Logical Aspects of Computational Linguistics
• scientific article; zbMATH DE number 1696578
• The \(\lambda\)-context calculus
• Evaluating lambda terms with traversals
• scientific article; zbMATH DE number 4061195
• A language for multi-dimensional updates

Cites work

• Context Update for Lambdas and Vectors
• Defaults in update semantics

Cited in

(2)

• Context Update for Lambdas and Vectors
• A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction

This page was built for publication: Context Update for Lambdas and Vectors

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2964008)