SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Dan Frumin

Registered user since Sun 28 Nov 2021

Name:Dan Frumin
Affiliation:University of Groningen
Personal website:https://groupoid.moe
Research interests:concurrency, type theory, logic

Contributions

SPLASH 2022 A Bunch of Sessions: A Propositions-as-Sessions Interpretation of Bunched Implications in Channel-Based Concurrency
Show activities from other conferences

Using general profile