[galop'24] normal form bisimulations by value
Published 4 months ago • 27 plays • Length 22:17Download 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
-
![[galop'24] game-enriched categories](https://i.ytimg.com/vi/tDmtOIuD5Oo/mqdefault.jpg)
25:34
[galop'24] game-enriched categories
-
![[galop'24] an abstract, certified account of operational game semantics](https://i.ytimg.com/vi/6AEyFvyuSis/mqdefault.jpg)
20:34
[galop'24] an abstract, certified account of operational game semantics
-
2:43
vbs4 22.2 - latest software release from bisim
-
5:55
vbs3 features: higher fidelity graphics
-
1:16
robotyne, ukraine's realistic 3d representation in vbs4
-
![[spcl_bcast] cloud-scale inference on fpgas at microsoft bing](https://i.ytimg.com/vi/It2TYTlvU2c/mqdefault.jpg)
45:45
[spcl_bcast] cloud-scale inference on fpgas at microsoft bing
-
0:31
viznet: towards a large-scale visualization learning and benchmarking repository
-
3:33
vbs ig: new software development kit available
-
3:19
bisim at i/itsec 2015: see the next generation vbs framework
-
45:24
gauges, loops, and polynomials for partition functions of graphical models