An Application of Martin-Lf Randomness to Effective Probability Theory.

Mathieu Hoyrup, Cristobal Rojas

Browse the full CiE paper archive.