[3S2] André Videla, Typedefs in 15 minutes
Statebox Meetup Berlin (part of the 3rd Statebox Research Summit)
playlist: • [3S2] Statebox Meetup Berlin
more info: https://summit.statebox.org
Statebox Meetup Berlin (part of the 3rd Statebox Research Summit)
playlist: • [3S2] Statebox Meetup Berlin
more info: https://summit.statebox.org
![[3S2] Meta-Cedille (Andre Knispel)](https://images.mixrolikus.cc/video/QW37iWVSN5Y)
![[3S2] Succinct Petri Nets (Stefano Gogioso)](https://images.mixrolikus.cc/video/_Atc8IfAc9s)
![[3S2] Structural Operational Semantics for String Diagrams (Fabio Zanasi)](https://images.mixrolikus.cc/video/SprclQUecXM)
![[3S2] Modalities in Type Theory (Alex Gryzlou)](https://images.mixrolikus.cc/video/SLJDwhRg5Yk)
![[3S2] Tutorial: Wiring Diagrams (Christina Vasilakopoulou)](https://images.mixrolikus.cc/video/DbzLi9aM5q8)
![[3S2] Tutorial: Indexed Containers, (Frederik Nordval)](https://images.mixrolikus.cc/video/Bw3v65e4v24)
![[3S2] Fabrizio Genovese, idris-ct](https://images.mixrolikus.cc/video/no61XFY4VG8)
![[3S2] André Videla, Typedefs in 15 minutes](https://images.mixrolikus.cc/video/neWhiGeF2ZU)
![[3S2] Andre Knispel, zero-knowledge proofsystems categorically](https://images.mixrolikus.cc/video/WTtApoJEg4Y)
![[3S2] Brick diagrams](https://images.mixrolikus.cc/video/IBESZlBRBzY)
![[3S2] Open Games Hack](https://images.mixrolikus.cc/video/4Ln4FukIFO0)
![[3S2] Kasper Keunen - GET-protocol](https://images.mixrolikus.cc/video/yQHY1eeaTNM)