Binary Lambda Calculus and Combinatory Logic.” Sep 14, 2004. http://homepages. cwi.nl/ ∼ 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