Categorical models for Abadi and Plotkin's logic for parametricity
BIRKEDAL, LARS, MØGELBERG, RASMUS E.Volume:
15
Language:
english
Journal:
Mathematical Structures in Computer Science
DOI:
10.1017/S0960129505004834
Date:
July, 2005
File:
PDF, 617 KB
english, 2005