A Polymorphic *-calculus with Type:Type. Technical Report, Digital EquipmentCorporation Systems Research (1986)

by L Cardelli
Venue:Journal of Symbolic Logic