Categorical models for Abadi-Plotkin’s Logic for Parametricity (2010)

by L Birkedal, R E Møgelberg
Venue:15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010