2 citations · 5 across the 3 of their papers we have counts for
1 paper · 1 filter
Joseph Fourment, Yichen Xu
The capture calculus is an extension of System F<: that tracks free variables of terms in their type, allowing one to represent capabilities while limiting their scope. While previ…