Predicative polymorphism in ��-calculus (1994)

by Vasco T Vasconcelos
Venue:In 6th Parallel Architectures and Languages Europe, volume 817 of LNCS