research
∙
06/24/2022
Diegetic representation of feedback in open games
We improve the framework of open games with agency by showing how the pl...
share
research
∙
03/29/2022
Lenses for Composable Servers
We implement the semantics of server operations using parameterised lens...
research
∙
05/14/2021