Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond.

Vaishak Belle

Browse the full JELIA paper archive.