Semantics of a typed algebraic lambda-calculus

MaRDI QIDQ5151026zbMATH OpenFDO

Authors Benoît Valiron

Publication date 16 February 2021

Full work available at URL http://eptcs.web.cse.unsw.edu.au/paper.cgi?DCM2010.14

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Categorical logic, topoi (03G30)

Recommendations

• A typed, algebraic, computational lambda-calculus
• Initial algebra semantics for lambda calculi
• The vectorial \(\lambda\)-calculus
• A type system for the vectorial aspect of the linear-algebraic lambda-calculus
• The algebraic lambda calculus

Cited in

(10)

• Adding algebraic rewriting to the untyped lambda calculus
• Finite vector spaces as model of simply-typed lambda-calculi
• scientific article; zbMATH DE number 2185726 (Why is no real title available?)
• Typed ψ-calculi
• scientific article; zbMATH DE number 3854393 (Why is no real title available?)
• Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
• A typed, algebraic, computational lambda-calculus
• Semantics of linear/modal lambda calculus
• Algebraic semantics of rewriting terms and types
• Initial algebra semantics for lambda calculi

This page was built for publication: Semantics of a typed algebraic lambda-calculus

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