4 citations · 6 across the 3 of their papers we have counts for
1 paper · 2 filters
Edwin Brady
Dependent types allow us to express precisely what a function is intended to do. Recent work on Quantitative Type Theory (QTT) extends dependent type systems with linearity, also a…