Stochastic Lambda-Calculus

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


Duration: 57:55
2,109 views
24

Dana Scott, Carnegie Mellon University
https://simons.berkeley.edu/talks/dana-scott-08-28-2016
Logical Structures in Computation Boot Camp



Other Videos By Simons Institute for the Theory of Computing


2016-08-31Finite and Algorithmic Model Theory III
2016-08-30Domain Theory and Measure Theory
2016-08-30Analysis of Probabilistic Systems II
2016-08-30Logic and Databases II
2016-08-30Finite and Algorithmic Model Theory II
2016-08-30Logic and Quantum Information II
2016-08-29Analysis of Probabilistic Systems I
2016-08-29Logic and Databases I
2016-08-29Logic and Quantum Information I
2016-08-29Finite and Algorithmic Model Theory I
2016-08-29Stochastic Lambda-Calculus
2016-08-26Energy and Uncertainty II
2016-08-26Energy and Uncertainty I
2016-08-26Uncertainty in Algorithmic Mechanism Design
2016-08-25Understanding the Empirical Hardness of NP-Complete Problems II
2016-08-25Understanding the Empirical Hardness of NP-Complete Problems I
2016-08-25Beyond Worst-Case Analysis II
2016-08-25Beyond Worst-Case Analysis I
2016-08-24Reinforcement Learning and Markov Decision Processes II
2016-08-24Reinforcement Learning and Markov Decision Processes I
2016-08-24Online Learning and Online Convex Optimization II


Tags:
Simons Institute
Theory of Computing
Theory of Computation
Theoretical Computer Science
Computer Science
UC Berkeley
Logical Structures in Computation Boot Camp
Dana Scott