The following pages link to The algebraic lambda calculus (Q3643363):
Displayed 24 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- A categorical construction for the computational definition of vector spaces (Q2024925) (← links)
- Algeo: an algebraic approach to reversibility (Q2097422) (← links)
- Taylor expansion, finiteness and strategies (Q2133165) (← links)
- Semantics of quantum programming languages: Classical control, quantum control (Q2168785) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- A concrete categorical semantics of lambda-\(\mathcal{S}\) (Q2333669) (← links)
- The differential \(\lambda \mu\)-calculus (Q2373711) (← links)
- On quantum lambda calculi: a foundational perspective (Q2973238) (← links)
- Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- (Q4611384) (← links)
- A typed, algebraic, computational lambda-calculus (Q4917199) (← links)
- (Q5014806) (← links)
- (Q5028454) (← links)
- A Lambda Calculus for Density Matrices with Classical and Probabilistic Controls (Q5056005) (← links)
- On the Taylor expansion of probabilistic λ-terms (Q5089013) (← links)
- (Q5089014) (← links)
- A deterministic rewrite system for the probabilistic λ-calculus (Q5108532) (← links)
- Categorical models of the differential λ-calculus (Q5108533) (← links)
- (Q5227520) (← links)
- A new connective in natural deduction, and its application to quantum computing (Q5925711) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)