Context Update for Lambdas and Vectors

DOI10.1007/978-3-662-53826-5_15zbMATH Open1485.03073OpenAlexW2551134728MaRDI QIDQ2964008FDOQ2964008

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)

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

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
• A language for multi-dimensional updates

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)

Cites Work

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

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)