64 citations · 157 across the 11 of their papers we have counts for
1 paper · 1 filter
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…