Some formal structures in probability
This invited talk will discuss how developments in the Formal Structures for Computation and Deduction can also suggest new directions for the foundations of probability theory. I plan to focus on two aspects: Abstraction, and laziness. I plan to highlight two challenges: Higher-order random functio...
| Yazar: | |
|---|---|
| Materyal Türü: | Conference item |
| Dil: | English |
| Baskı/Yayın Bilgisi: |
Schloss Dagstuhl - Leibniz-Zentrum für Informatik
2021
|