64 citations · 157 across the 11 of their papers we have counts for
1 paper · 2 filters
Matthijs Vákár
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear lo…