## 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)

### Cached

### Download Links

by
John Tromp

Venue: | in computable POVM measurement.” Proceedings of the 5th Conference on Real Numbers and Computers, RNC5 |

Citations: | 9 - 0 self |