Все публикации

1:04:05

Amélia Liao: 'Cubical types for the working formalizer'

1:00:41

Seth Frey: 'Online communities as model systems for commons governance'

1:00:10

Chris Fields: 'What is the Identity operator?'

1:03:50

Christine Tasson: 'Semantics for Reactive Probabilistic Programming'

1:15:50

Spencer Breiner: 'Polynomial Interfaces'

1:05:47

Cyrus Omar: 'Totally Live Programming and Proving in Hazel'

1:10:50

Will Crichton: 'How to Make Mathematicians Into Programmers (And Vice Versa)'

0:59:29

Arthur J Parzygnat: 'A generalization of inversion using Bayes' rule with applications to quantum'

1:00:47

[Berkeley Seminar] CB Aberle: All Concepts are Essentially Algebraic

0:52:49

[Berkeley Seminar] Priyaa Srinivasan: Communicating Relational Thinking

1:00:50

Fabio Gadducci: 'From gs-monoidal to cartesian categories: a structural analysis'

1:00:16

Mason Porter: 'Topological Data Analysis of Spatial Systems'

0:53:30

Bartosz Milewski: 'Parametric Profunctor Preoptics'

0:59:41

Alex Simpson: 'Three toposes for probability and randomness'

1:11:35

Steve Vickers: 'The Fundamental Theorem of Calculus: point-free'

1:00:36

Berkeley Seminar: David Spivak, A tour of EM(Cat#) (5/20/2024)

1:03:05

Nicola Gambino: 'Monoidal bicategories, differential linear logic, and analytic functors'

0:59:05

Elena Di Lavore: 'Effectful trace semantics via effectful streams'

1:00:03

M Andrew Moshier: Relations for Order Regular Categories

1:00:05

Shaowei Lin: AI-assisted Coding. Correct by Construction, Not by Generation

1:03:37

Valeria de Paiva: Network Mathematics for All

0:53:43

Alexander Kurz: Canonical Extensions of Quantale Enriched Categories

0:59:17

Daniele Struppa: An Introduction to Superoscillations and Supershift

0:51:53

Evan Patterson: Domain specific Logics for Scientific Modeling Theory and Practice