research
∙
09/18/2023
Fixpoint constructions in focused orthogonality models of linear logic
Orthogonality is a notion based on the duality between programs and thei...
research
∙
03/08/2023
Stabilized profunctors and stable species of structures
We introduce a new bicategorical model of linear logic based on profunct...
research
∙
03/06/2023