1 citations · 1 across the 1 of their papers we have counts for
1 paper
Martin Lundfall
We present a type theory dealing with non-linear, "ordinary" dependent types (which we will call cartesian) and linear types, where both constructs may depend on terms of the forme…