A typed, algebraic, computational lambda-calculus

DOI10.1017/S0960129512000205MaRDI QIDQ4917199zbMATH OpenOpenAlexFDO

Authors Benoît Valiron

Publication date 29 April 2013

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129512000205

zbMATH Keywords

algebraic lambda-calculuscategorical framework for semanticstyped lambda-calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Categorical semantics of formal languages (18C50) Semantics in the theory of computing (68Q55)

Recommendations

• Semantics of a typed algebraic lambda-calculus
• scientific article; zbMATH DE number 4047683
• The vectorial \(\lambda\)-calculus
• Some lambda calculi with categorical sums and products
• A type system for the vectorial aspect of the linear-algebraic lambda-calculus

Cites work

• A Lambda Calculus for Quantum Computation
• A Relational Model of a Parallel and Non-deterministic λ-Calculus
• Finiteness spaces
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• LCF considered as a programming language
• Linear-algebraic λ-calculus: higher-order, encodings, and confluence.
• Notions of computation and monads
• Order-incompleteness and finite lambda reduction models
• Polymorphic rewriting conserves algebraic strong normalization
• The algebraic lambda calculus
• The differential lambda-calculus

Cited in

(19)

• A rewrite-based type discipline for a subset of computer algebra
• Adding algebraic rewriting to the untyped lambda calculus
• A type system for computer algebra
• Some lambda calculus and type theory formalized
• Finite vector spaces as model of simply-typed lambda-calculi
• Algebras and coalgebras in the light affine lambda calculus
• scientific article; zbMATH DE number 5872263 (Why is no real title available?)
• Typed ψ-calculi
• scientific article; zbMATH DE number 4047683 (Why is no real title available?)
• Typed answer set programming lambda calculus theories and correctness of inverse lambda algorithms with respect to them
• A partial evaluator for the untyped lambda-calculus
• A type system for the vectorial aspect of the linear-algebraic lambda-calculus
• Algebraic models of simple type theories. A polynomial approach
• Semantics of a typed algebraic lambda-calculus
• The vectorial \(\lambda\)-calculus
• Non-standard reductions and categorical models in typed lambda-calculus
• Initial algebra semantics for lambda calculi
• Algebraic and calculus query languages for recursively typed complex objects
• Using typed lambda calculus to implement formal systems on a machine

This page was built for publication: A typed, algebraic, computational lambda-calculus

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