research
∙
07/14/2022
Node Replication: Theory And Practice
We define and study a term calculus implementing higher-order node repli...
share
research
∙
10/08/2021
A subexponential view of domains in session types
Linear logic (LL) has inspired the design of many computational systems,...
research
∙
12/04/2019
