The algebraic lambda calculus
From MaRDI portal
Publication:3643363
DOI10.1017/S0960129509990089zbMath1186.03025OpenAlexW2151097168MaRDI QIDQ3643363
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
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
This page was built for publication: The algebraic lambda calculus
