research
∙
09/01/2023
Logical Relations for Session-Typed Concurrency
Program equivalence is the fulcrum for reasoning about and proving prope...
share
research
∙
08/29/2022
Recursive Session Logical Relations
Program equivalence is the fulcrum for reasoning about and proving prope...
research
∙
04/29/2021
Session Logical Relations for Noninterference
Information flow control type systems statically restrict the propagatio...
research
∙
01/15/2020
Circular Proofs in First-Order Linear Logic with Least and Greatest Fixed Points
Inductive and coinductive structures are everywhere in mathematics and c...
research
∙
08/06/2019