Binary Lambda Calculus and Combinatory Logic
暂无分享,去创建一个
[1] Torben Æ. Mogensen. Linear-Time Self-Interpretation of the Pure Lambda Calculus , 2000, High. Order Symb. Comput..
[2] Oleg Mazonka,et al. A Very Short Self-Interpreter , 2003, ArXiv.
[3] Jørgen Steensgaard-Madsen,et al. Typed representation of objects by functions , 1989, TOPL.
[4] Harold T. Hodes,et al. The | lambda-Calculus. , 1988 .
[5] Simon Peyton Jones,et al. Tackling the Awkward Squad: monadic input/output, concurrency, exceptions, and foreign-language calls in Haskell , 2005 .
[6] D. A. Turner. Another Algorithm for Bracket Abstraction , 1979, J. Symb. Log..
[7] de Ng Dick Bruijn,et al. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem , 1972 .
[8] Henk Barendregt,et al. The Lambda Calculus: Its Syntax and Semantics , 1985 .
[9] Paul M. B. Vitányi,et al. An Introduction to Kolmogorov Complexity and Its Applications , 1993, Graduate Texts in Computer Science.
[10] G. Frandsen. What is an Efficient Implementation of the λ-calculus ? , 1991 .
[11] Ming Li,et al. An Introduction to Kolmogorov Complexity and Its Applications , 1997, Texts in Computer Science.
[12] Henk Barendregt. Discriminating Coded Lambda Terms , 2001 .
[13] Gregory J. Chaitin. An Invitation to Algorithmic Information Theory , 1996, DMTCS.
[14] Michael Barr,et al. The Emperor's New Mind , 1989 .
[15] Gregory J. Chaitin,et al. Exploring RANDOMNESS , 2001, Discrete Mathematics and Theoretical Computer Science.
[16] Jacques Malenfant,et al. Reflection in logic, functional and object-oriented programming: a Short Comparative Study , 1995 .
[17] Frank Pfenning,et al. Higher-order abstract syntax , 1988, PLDI '88.
[18] S. Kleene. $\lambda$-definability and recursiveness , 1936 .
[19] Robert Muller,et al. M-LISP: a representation-independent dialect of LISP with reduction semantics , 1992, TOPL.
[20] Mitchell Wand,et al. Essentials of programming languages (2nd ed.) , 2001 .
[21] Carl Sturtivant,et al. What is an Efficient Implementation of the \lambda-calculus? , 1991, FPCA.
[22] Mitchell Wand,et al. Reification: Reflection without metaphysics , 1984, LFP '84.