On principal types of combinators
暂无分享,去创建一个
[1] Martin W. Bunder,et al. Combinatory abstraction using B, 6' and friends* , 1994 .
[2] Sachio Hirokawa. Principal Types of BCK-lambda-Terms , 1993, Theor. Comput. Sci..
[3] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .
[4] William C. Frederick,et al. A Combinatory Logic , 1995 .
[5] Fa Dick. The mathematical language AUTOMATH, its usage and some of its extensions , 1970 .
[6] David Meredith. Positive logic and λ-constants , 1978 .
[7] R. Hindley. The Principal Type-Scheme of an Object in Combinatory Logic , 1969 .
[8] William A. Howard,et al. The formulae-as-types notion of construction , 1969 .
[9] J. Roger Hindley,et al. BCK-Combinators and Linear lambda-Terms have Types , 1989, Theor. Comput. Sci..
[10] Martin W. Bunder,et al. Combinatory Abstraction Bsing B, B' and Friends , 1994, Theor. Comput. Sci..
[11] A. N. Prior,et al. Notes on the axiomatics of the propositional calculus , 1963, Notre Dame J. Formal Log..
[12] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .