A Rewriting System for Categorical Combinators with Multiple Arguments
暂无分享,去创建一个
[1] Pierre-Louis Curien,et al. The Categorical Abstract Machine , 1987, Sci. Comput. Program..
[2] Yoshihiko Futamura,et al. Parital Computation of Programs , 1982, RIMS Symposium on Software Science and Engineering.
[3] J. Lambek. Functional completeness of cartesian categories , 1974 .
[4] Hirofumi Yokouchi. Retraction Map Categories and Their Applications to the Construction of Lambda Calculus Models , 1986, Inf. Control..
[5] E. Engeler. Review: H. P. Barendregt, The Lambda Calculus. Its Syntax and Semantics , 1984 .
[6] Christiaan Peter Jozef Koymans,et al. Models of the Lambda Calculus , 1982, Inf. Control..
[7] Susumu Hayashi,et al. Adjunction of Semifunctors: Categorical Structures in Nonextensional Lambda Calculus , 1985, Theor. Comput. Sci..
[8] Hirofumi Yokouchi. Application and Composition in Functional Programming , 1986 .
[9] Albert R. Meyer,et al. What is a Model of the Lambda Calculus? , 1982, Inf. Control..
[10] J. Lambek,et al. Introduction to higher order categorical logic , 1986 .
[11] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .
[12] Pierre-Louis Curien,et al. Categorical Combinators , 1986, Inf. Control..