research
∙
01/29/2023
Profinite lambda-terms and parametricity
Combining ideas coming from Stone duality and Reynolds parametricity, we...
share
research
∙
05/20/2020
Comprehension and quotient structures in the language of 2-categories
Lawvere observed in his celebrated work on hyperdoctrines that the set-t...
research
∙
05/09/2020
Concurrent Separation Logic Meets Template Games
An old dream of concurrency theory and programming language semantics ha...
research
∙
07/21/2018
An Asynchronous soundness theorem for concurrent separation logic
Concurrent separation logic (CSL) is a specification logic for concurren...
research
∙
10/06/2017
A Game Semantics of Concurrent Separation Logic
In this paper, we develop a game-theoretic account of concurrent separat...
research
∙
09/29/2017