research
∙
09/15/2023
A Two-Level Linear Dependent Type Theory
We present a type theory combining both linearity and dependency by stra...
research
∙
05/31/2022