Operations on Languages and Codensity Monads
1,000 views · Published 8 November 2016 · 35:26 · Indexed 20 September 2026
Channel: Simons Institute for the Theory of Computing · 2016 · Education
Daniela Petrisan, Université Paris Diderot
https://simons.berkeley.edu/talks/daniela-petrisan-11-07-2016
{Symmetry, Logic, Computation}
More from this channel
-
29:08
An Isomorphism Between Parameterized Complexity and Classical Complexity, for both Time and Space
-
34:02
Modelling Gene Expression Dynamics with Gaussian Processes
-
37:26
Telomere Length, Nature and Nurture
-
44:30
Sum of Squares SDP Relaxations on Random Tensors
-
1:05:05
Beyond Worst-Case Analysis II
-
1:04:11
Logic and Databases II
-
35:19
Logic and Bisimulation for Guarded Teams
-
38:58
Automata Learning -- Infinite Alphabets and Application to Verification