Brendan Fong
2nd open games workshop
https://julesh.com/second-workshop-on-open-games-programme/
playlist
https://www.youtube.com/playlist?list=PLE2y3n8EQ6VwM7FHboEXpn88Crezunov3
Видео Brendan Fong канала Jelle Herold
https://julesh.com/second-workshop-on-open-games-programme/
playlist
https://www.youtube.com/playlist?list=PLE2y3n8EQ6VwM7FHboEXpn88Crezunov3
Видео Brendan Fong канала Jelle Herold
Показать
Комментарии отсутствуют
Информация о видео
Другие видео канала
(Zwanziger) - Natural Model Semantics for Comonadic and Adjoint Modal Type Theory
ACT2018: Samson Abramsky — Games and constraint satisfaction (1/2)
Morphisms of open games
1st Statebox Summit — Oicos Demo
...
(Spivak/Wisnesky) — CONEXUS
(Behr) — Tracelets and Tracelet Analysis Of Compositional Rewriting Systems
Jules Hedges — Tutorial on Open Games
Cashing in on Statebox - Josh Harvey
Pawel Sobocinski — Conjunctive Queries![[3S2] Tutorial: Indexed Containers, (Frederik Nordval)](https://i.ytimg.com/vi/Bw3v65e4v24/default.jpg)
[3S2] Tutorial: Indexed Containers, (Frederik Nordval)
Ethical Computing and Natural Systems - Matthew Schutte
(Abramsky, Barbosa, Karvonen, Mansfield) — A Comonadic View of Simulation and Quantum Resources
(Felice, Meichanetzidis, Toumi) - Montague Semantics for Lambek Pregroups![[3S2] Brick diagrams](https://i.ytimg.com/vi/IBESZlBRBzY/default.jpg)
[3S2] Brick diagrams
1st Statebox Summit — Typedefs.com
Smart contract modelled with Petri nets![[3S2] Meta-Cedille (Andre Knispel)](https://i.ytimg.com/vi/QW37iWVSN5Y/default.jpg)
[3S2] Meta-Cedille (Andre Knispel)
deltarobot_kinematics_working.mov
1st Statebox Summit — Formal Verifcation Theory