Game Semantics [1/4] - Dan R. Ghica - OPLSS 2018
1:15:56
Game Semantics [2/4] - Dan R. Ghica - OPLSS 2018
1:25:20
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
1:26:53
2024|2025 O/L Database discussion | Day 1
25:13
A Game Theoretical Semantics for Logics of Nonsense (presentation)
3:50
John Maynard Smith - The point of evolutionary game theory (50/102)
1:21:28
Practical Foundations for Programming Languages [1/4] - Robert Harper - OPLSS 2019
18:20
An introduction to denotational semantics
17:42