Reflexive Graphs and Parametric Polymorphism

Edmund P. Robinson, Giuseppe Rosolini

Browse the full LICS paper archive.