Pietro Di Gianantonio

Latest

• Composable partial multiparty session types for open systems
• Unifying Recursive and Co-recursive Definitions in Sheaf Categories
• A Unifying Approach to Recursive and Co-recursive Definitions