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