31 citations · 51 across the 14 of their papers we have counts for
1 paper · 2 filters
Qiancheng Fu, Hongwei Xi
We present a type theory combining both linearity and dependency by stratifying typing rules into a level for logics and a level for programs. The distinction between logics and pr…