1.1k citations · 1.6k across the 12 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…