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