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
∙
11/19/2020