The following pages link to The algebraic lambda calculus (Q3643363):
Displaying 39 items.
- The vectorial \(\lambda\)-calculus (Q529049) (← links)
- A generalization of the lambda algebra (Q1066519) (← links)
- Some acyclic relations in the lambda algebra (Q1766190) (← links)
- An MU-analogue of the lambda algebra (Q1822093) (← links)
- The differential lambda-calculus (Q1884894) (← 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)
- (Q2980972) (← links)
- (Q3086783) (← links)
- Call-by-Value Non-determinism in a Linear Logic Type Discipline (Q3455843) (← links)
- Jumbo λ-Calculus (Q3591403) (← links)
- Computing the homology of the lambda algebra (Q3706946) (← links)
- (Q4204131) (← links)
- (Q4260390) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Transport of finiteness structures and applications (Q4577981) (← links)
- (Q4611384) (← links)
- (Q4835611) (← links)
- A typed, algebraic, computational lambda-calculus (Q4917199) (← links)
- (Q4952053) (← 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)
- Near Semi-rings and Lambda Calculus (Q5170832) (← links)
- (Q5227520) (← links)
- The Intensional Lambda Calculus (Q5434495) (← links)
- Initial algebra semantics for lambda calculi (Q5887531) (← 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)
