Probabilistic Call By Push Value

566 views · Published 20 December 2016 · 34:42 · Indexed 12 November 2026

Channel: Simons Institute for the Theory of Computing · 2016 · Education

Watch on YouTube

Christine Tasson, Université Paris Diderot
https://simons.berkeley.edu/talks/christine-tasson-12-08-2016
Compositionality

More from this channel