Probabilistic Call By Push Value

Channel:
United States Simons Institute for the Theory of Computing
Subscribers:
68,700
Published on ● Video Link: https://www.youtube.com/watch?v=HLsr4SdnBQ0


Duration: 34:42
476 views
6

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



Other Videos By Simons Institute for the Theory of Computing


2017-01-18Pseudorandomness and Regularity in Graphs II
2017-01-18Arithmetic Applications of Pseudorandomness II
2017-01-18Extractors and Expanders II
2017-01-18Fundamental Techniques in Pseudorandomness IV
2017-01-18Fundamental Techniques in Pseudorandomness III
2017-01-17Arithmetic Applications of Pseudorandomness I
2017-01-17Extractors and Expanders I
2017-01-17Pseudorandomness and Regularity in Graphs I
2017-01-17Fundamental Techniques in Pseudorandomness II
2017-01-17Fundamental Techniques in Pseudorandomness I
2016-12-19Probabilistic Call By Push Value
2016-12-09Programming Recurrence Relations
2016-12-09A Compositional Quantum Programming Language
2016-12-09About the Provenance of Truth
2016-12-09Composing Schema Mappings: An Overview
2016-12-08Completeness and Incompleteness of Quantum Diagram Reasoning
2016-12-08Linear Logic, Session Types and Deadlock-Freedom
2016-12-08Composing Strategies in Pebble Games
2016-12-08Higher-Order Linearisability
2016-12-08A Topological Approach to Compositionality in Complex Systems
2016-12-08Logic of Local Inference for Contextuality and Paradoxes


Tags:
Christine Tasson
Logical Structures in Computation
UC Berkeley
Theoretical Computer Science