Highlights of the History of the Lambda-Calculus
暂无分享,去创建一个
[1] Bolyai János Matematikai Társulat,et al. Theory of algorithms , 1985 .
[2] H. Gaifman,et al. Symbolic Logic , 1881, Nature.
[3] John W. Backus,et al. Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs , 1978, CACM.
[4] Nelson H. F. Beebe,et al. Annals of the History of Computing , 1984, SIGIR Forum.
[5] Emil L. Post. Finite combinatory processes—formulation , 1936, Journal of Symbolic Logic.
[6] E. Cogan. A formalization of the theory of sets from the point of view of combinatory logic , 1955 .
[7] Peter Henderson,et al. A lazy evaluator , 1976, POPL.
[8] Rasmus Lerdorf,et al. Introduction to combinatory logic , 1972 .
[9] S. Kleene,et al. The Foundations of Intuitionistic Mathematics , 1965, The Mathematical Gazette.
[10] H. B. Curry. An Analysis of Logical Substitution , 1929 .
[11] A. Church. The calculi of lambda-conversion , 1941 .
[12] Frederic Brenton Fitch,et al. A system of formal logic without an analogue to the curry W operator , 1936, Journal of Symbolic Logic.
[13] Jr. Hartley Rogers. Theory of Recursive Functions and Effective Computability , 1969 .
[14] H. B. Curry. A new proof of the church–rosser theorem , 1952 .
[15] J. Roger Hindley,et al. An abstract Church-Rosser theorem. II: Applications , 1974, Journal of Symbolic Logic.
[16] Ronald V. Book,et al. Confluent and Other Types of Thue Systems , 1982, JACM.
[17] E. Engeler. Symposium on Semantics of Algorithmic Languages , 1971, Symposium on Semantics of Algorithmic Languages.
[18] A. Church,et al. Some properties of conversion , 1936 .
[19] M. Bunder. Some Inconsistencies in Illative Combinatory Logic , 1974 .
[20] H. B. Curry. The inconsistency of certain formal logics , 1942, Journal of Symbolic Logic.
[21] H. B. Curry. First Properties of Functionality in Combinatory Logic , 1935 .
[22] H B Curry,et al. Functionality in Combinatory Logic. , 1934, Proceedings of the National Academy of Sciences of the United States of America.
[23] Jr. George William Petznick. Combinatory programming , 1970 .
[24] E. Engeler. Algebras and combinators , 1981 .
[25] Albert R. Meyer,et al. What is a Model of the Lambda Calculus? , 1982, Inf. Control..
[26] S. Kleene. A Theory of Positive Integers in Formal Logic. Part II , 1935 .
[27] James H. Morris,et al. Lambda-calculus models of programming languages. , 1969 .
[28] S. Kleene. Proof by Cases in Formal Logic , 1934 .
[29] J. Rosser. A Mathematical Logic Without Variables. I , 1935 .
[30] Wilhelm Ackermann,et al. Widerspruchsfreier Aufbau Der Logik I: Typenfreies System Ohne Tertium Non Datur , 1950, J. Symb. Log..
[31] P. J. Landin,et al. Correspondence between ALGOL 60 and Church's Lambda-notation , 1965, Commun. ACM.
[32] J. Roger Hindley,et al. An Abstract form of the church-rosser theorem. I , 1969, Journal of Symbolic Logic.
[33] H. Keisler,et al. The Kleene Symposium , 1980 .
[34] Richmond H. Thomason,et al. Symbolic logic : an introduction , 1969 .
[35] John McCarthy,et al. Recursive functions of symbolic expressions and their computation by machine, Part I , 1960, Commun. ACM.
[36] Thomas B. Steel,et al. Formal language description languages for computer programming : proceedings of the IFIP Working Conference on Formal Language Description Languages , 1966 .
[37] Gerd Mitschke. Ein algebraischer Beweis für das Church-Rosser-Theorem , 1972 .
[38] A. Church. A Set of Postulates for the Foundation of Logic , 1932 .
[39] A. Church. An Unsolvable Problem of Elementary Number Theory , 1936 .
[40] W. Ackermann. Widerspruchsfreier Aufbau einer typenfreien Logik , 1952 .
[41] Per Martin-Löf,et al. An intuitionistic theory of types , 1972 .
[42] Stephen Cole Kleene,et al. Origins of Recursive Function Theory , 1979, Annals of the History of Computing.
[43] Haskell B. Curry. Grundlagen der kombinatorischen Logik , 1930 .
[44] S. C. Kleene,et al. The Foundations of Intuitionistic Mathematics. , 1967 .