Stochastic Processes: Coinduction in Probabilistic Programming

Venue: ACV at FLoC 2026

An Introduction to Monads

Event: Insight into Maths 2026

[Video Link]

Semantics for the coinductive structures in stochastic processes: Infinite product measures in quasi-Borel spaces (Early ideas)

Venue: CALCO 2025

Speakers/Authors: Ohad Kammar, Seo Jin Park, Sam Staton

[PDF] [Slides]