17 citations · 55 across the 16 of their papers we have counts for
1 paper · 1 filter
Paul-André Melliès, Noam Zeilberger
The concept of_refinement_ in type theory is a way of reconciling the "intrinsic" and the "extrinsic" meanings of types. We begin with a rigorous analysis of this concept, settling…