28:30 [HOPE24] Amplifying Contextual Distance in Higher-Order Languages, using the Law of Large Numbers ACM SIGPLAN
1:07:01 [HOPE24] An introduction to synthetic guarded domain theory with applications to probabilistic(…) ACM SIGPLAN