2 results
A linear linear lambda-calculus
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 31 May 2024, pp. 1-35
-
- Article
- Export citation
A concrete model for a typed linear algebraic lambda calculus
-
- Journal:
- Mathematical Structures in Computer Science / Volume 34 / Issue 1 / January 2024
- Published online by Cambridge University Press:
- 21 November 2023, pp. 1-44
-
- Article
- Export citation