Binary Lambda Calculus and Combinatory Logic.” Sep 14, 2004. http://homepages. ∼ tromp/cl/LC.pdf [64] Tadaki, K. “Upper bound by Kolmogorov complexity for the probability (2003)

by John Tromp
Venue:in computable POVM measurement.” Proceedings of the 5th Conference on Real Numbers and Computers, RNC5
Citations:9 - 0 self

Active Bibliography

Kolmogorov Complexity in Combinatory Logic – John Tromp March, John Tromp
23 The Impact of the Lambda Calculus in Logic and Computer Science – Henk Barendregt, Jon Barwise, Johan Van Benthem, Andreas Blass, Olivier Danvy, Pierre Lescanne, Hans Mooij, Robert Maron, Rinus Plasmeijer, Y Pollack - 1997
3 Explicit Substitutions and All That – Mauricio Ayala-Rincón, Cesar Muñoz - 2000
13 A formal calculus for informal equality with binding – Murdoch J. Gabbay, Aad Mathijssen - 2007
Axiomatizing the Quote – Andrew Polonsky
An algorithmic information-theoretic approach to the behaviour of financial markets – Hector Zenil, Jean-paul Delahaye - 2010
4 On the Algorithmic Nature of the World – Hector Zenil, Jean-paul Delahaye
4 Using Reflection to Support Type-Safe Evolution in Persistent Systems – G. N. C. Kirby, R. C. H. Connor, R. Morrison, D. Stemple - 1996
Numerical Evaluation of Algorithmic Complexity for Short Strings A Glance into the Innermost Structure of Randomness – Jean-paul Delahaye, Hector Zenil - 2011
Contents lists available at SciVerse ScienceDirect – Jean-paul Delahaye, Hector Zenil
86 Multi-Stage Programming: Its Theory and Applications – Walid Taha - 1999
6 Towards a Theory of Reflective Programming Languages – Anurag Mendhekar, C Flanurag Mendhekar, Daniel P. Friedman, Daniel P. Friedman - 1993
1 Computing The Busy Beaver Function – In T. M. Cover, B. Gopinath, Gregory J. Chaitin - 1987
2 What is an Efficient Implementation of the λ-calculus? – Gudmund S. Frandsen, Carl Sturtivant - 1991
2 What is an Efficient Implementation of the λ-calculus? – Gudmund S. Frandsen, Carl Sturtivant - 1991
Lambda-Calculus and Functional Programming – Jonathan P. Seldin
3 A Topological Characterization of Random Sequences – C. S. Calude, S. Marcus, L. Staiger, Cristian S. Calude, Solomon Marcus, Ludwig Staiger - 2003
and biological creativity – Gregory Chaitin, Gregory Chaitin - 2010
To a mathematical theory of evolution and biological creativity – Gregory Chaitin - 2010