Writing
- Semantics for the coinductive structures in stochastic processes: Infinite product measures in quasi-Borel spaces (Early ideas), in CALCO 2025
Ohad Kammar, Seo Jin Park, Sam Staton
[pdf] [slides] - Semantics for Stochastic Processes in Probabilistic Programming Languages, for Part C Computer Science Project Report
Seo Jin Park