The algebraic lambda calculus
From MaRDI portal
Recommendations
- On Linear Combinations of λ-Terms
- Confluence via strong normalisation in an algebraic -calculus with rewriting
- Adding algebraic rewriting to the untyped lambda calculus
- Adding algebraic rewriting to the untyped lambda calculus (extended abstract)
- Confluence of the lambda calculus with left-linear algebraic rewriting
Cites work
Cited in
(53)- A generalization of the lambda algebra
- An algebraic view of the Böhm-out technique
- Some acyclic relations in the lambda algebra
- An MU-analogue of the lambda algebra
- The differential lambda-calculus
- A categorical construction for the computational definition of vector spaces
- Algeo: an algebraic approach to reversibility
- Taylor expansion, finiteness and strategies
- Semantics of quantum programming languages: Classical control, quantum control
- QPCF: higher-order languages and quantum circuits
- A concrete categorical semantics of lambda-\(\mathcal{S}\)
- The differential \(\lambda \mu\)-calculus
- On quantum lambda calculi: a foundational perspective
- scientific article; zbMATH DE number 6712184 (Why is no real title available?)
- scientific article; zbMATH DE number 5872263 (Why is no real title available?)
- scientific article; zbMATH DE number 445155 (Why is no real title available?)
- Call-by-value non-determinism in a linear logic type discipline
- Jumbo λ-Calculus
- scientific article; zbMATH DE number 3909726 (Why is no real title available?)
- Computing the homology of the lambda algebra
- scientific article; zbMATH DE number 4123701 (Why is no real title available?)
- scientific article; zbMATH DE number 1333616 (Why is no real title available?)
- An introduction to differential linear logic: proof-nets, models and antiderivatives
- Transport of finiteness structures and applications
- Probabilistic call by push value
- scientific article; zbMATH DE number 761276 (Why is no real title available?)
- A typed, algebraic, computational lambda-calculus
- scientific article; zbMATH DE number 1443050 (Why is no real title available?)
- Krivine machine and Taylor expansion in a non-uniform setting
- On the Taylor expansion of -terms and the groupoid structure of their rigid approximants
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls
- On the Taylor expansion of probabilistic λ-terms
- Proof normalisation in a logic identifying isomorphic propositions
- A deterministic rewrite system for the probabilistic \(\lambda\)-calculus
- Categorical models of the differential λ-calculus
- Semantics of a typed algebraic lambda-calculus
- Near Semi-rings and Lambda Calculus
- scientific article; zbMATH DE number 7089070 (Why is no real title available?)
- The vectorial \(\lambda\)-calculus
- On Linear Combinations of λ-Terms
- The Intensional Lambda Calculus
- Confluence via strong normalisation in an algebraic -calculus with rewriting
- Initial algebra semantics for lambda calculi
- A new connective in natural deduction, and its application to quantum computing
- Extensional proofs in a propositional logic modulo isomorphisms
- Algebraic interpretation of lambda calculus with resources
- The Data structures of the lambda terms
- The difference -calculus: a language for difference categories
- Solvability in a probabilistic setting (invited talk)
- The relational machine calculus
- A linear linear lambda-calculus
- A linear proof language for second-order intuitionistic linear logic
- The sup connective in IMALL: a categorical semantics
This page was built for publication: The algebraic lambda calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3643363)
