Categorical models of Abadi-Plotkin’s logic for parametricity (0)

by L Birkedal, R E Møgelberg
Venue:Mathematical Structures in Computer Science