Reflexive graphs and parametric polymorphism (1994)

by E Robinson, G Rosolini
Venue:In Proc. 9th Annual IEEE Symp. on Logic in Computer Science, LICS