79 citations · 142 across the 16 of their papers we have counts for
1 paper · 1 filter
Lars Birkedal, Rasmus E. Møgelberg, Rasmus Lerchedahl Petersen
We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, followi…