[galop'24] an abstract, certified account of operational game semantics
Published 3 months ago • 29 plays • Length 20:34Download video MP4
Download video MP3
Similar videos
-
![[galop'24] fully abstract normal form bisimulation for call-by-value pcf](https://i.ytimg.com/vi/5cBNmihcuec/mqdefault.jpg)
22:51
[galop'24] fully abstract normal form bisimulation for call-by-value pcf
-
1:00
gram games | sign language workshop
-
![[tutorialfest@popl'24] string solving for verification](https://i.ytimg.com/vi/sG4QG0H0OyU/mqdefault.jpg)
3:30:38
[tutorialfest@popl'24] string solving for verification
-
35:53
a generalization bound for online variational inference
-
58:11
orthogonalexpansions - a great maple add-on
-
![[cp24] exploring algebraic placement in multiparty languages](https://i.ytimg.com/vi/bytC6SBGC7k/mqdefault.jpg)
19:28
[cp24] exploring algebraic placement in multiparty languages
-
![[n40ai'24] mechanizing abstract interpretation](https://i.ytimg.com/vi/YWwQjh0soBc/mqdefault.jpg)
46:15
[n40ai'24] mechanizing abstract interpretation
-
3:35
digital project execution in noa fulla
-
6:41
semantics of video games vs interactive media
-
7:19
how to play compile
-
1:57
billtrust named leader in g2's spring 2023 accounts receivable automation software grid®
-
19:33
opensim: complete run-through