✦ LIBER ✦

Computability of probability measures and Martin-Löf randomness over metric spaces

✍ Scribed by Mathieu Hoyrup; Cristóbal Rojas

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Martin-Löf Randomness, Invariant Measure

✍ Willem L. Fouché 📂 Article 📅 2012 🏛 Springer 🌐 English ⚖ 544 KB

Σ0n-complete properties of programs and

✍ Kojiro Kobayashi 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 479 KB

Programming in Martin-Löf's Type Theory:

✍ E. Van Gestel 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 85 KB