Reflexive graphs and parametric polymorphism (1994)

by E P Robinson, G Rosolini
Venue:Proc. 9th Symposium in Logic in Computer Science