The algebraic lambda calculus

DOI10.1017/S0960129509990089zbMath1186.03025OpenAlexW2151097168MaRDI QIDQ3643363

Lionel Vaux

Publication date: 11 November 2009

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

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

zbMATH Keywords

consistencyreductionconfluenceconservativityalgebraic lambda calculus

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (24)

Taylor expansion, finiteness and strategies ⋮ The differential \(\lambda \mu\)-calculus ⋮ A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls ⋮ Call-by-Value Non-determinism in a Linear Logic Type Discipline ⋮ Unnamed Item ⋮ Semantics of quantum programming languages: Classical control, quantum control ⋮ An introduction to differential linear logic: proof-nets, models and antiderivatives ⋮ Transport of finiteness structures and applications ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ A deterministic rewrite system for the probabilistic λ-calculus ⋮ Categorical models of the differential λ-calculus ⋮ On quantum lambda calculi: a foundational perspective ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A typed, algebraic, computational lambda-calculus ⋮ The vectorial \(\lambda\)-calculus ⋮ Unnamed Item ⋮ A categorical construction for the computational definition of vector spaces ⋮ A new connective in natural deduction, and its application to quantum computing ⋮ On the Taylor expansion of probabilistic λ-terms ⋮ Unnamed Item ⋮ QPCF: higher-order languages and quantum circuits ⋮ A concrete categorical semantics of lambda-\(\mathcal{S}\) ⋮ Algeo: an algebraic approach to reversibility

Cites Work

• Unnamed Item
• Linear logic
• Normal functors, power series and \(\lambda\)-calculus
• The differential lambda-calculus
• The differential \(\lambda \mu\)-calculus
• Complete Sets of Reductions for Some Equational Theories
• Finiteness spaces

This page was built for publication: The algebraic lambda calculus