About Typed Algebraic Lambda-calculi
暂无分享,去创建一个
[1] Gilles Dowek,et al. Linear-algebraic lambda-calculus: higher-order, encodings, and confluence , 2008, RTA.
[2] G. M. Kelly,et al. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY , 2022, Elements of ∞-Category Theory.
[3] Laurent Regnier,et al. The differential lambda-calculus , 2003, Theor. Comput. Sci..
[4] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[5] André van Tonder,et al. A Lambda Calculus for Quantum Computation , 2003, SIAM J. Comput..
[6] J. Lambek,et al. Introduction to higher order categorical logic , 1986 .
[7] Lionel Vaux. The algebraic lambda calculus , 2009, Math. Struct. Comput. Sci..
[8] J. Girard,et al. Proofs and types , 1989 .
[9] Eugenio Moggi,et al. Notions of Computation and Monads , 1991, Inf. Comput..