A polymorphic lambda-calculus with Type:Type (1986)

by Luca Cardelli
Venue:SRC, 130 Lytton Avenue, Palo Alto, CA 94301. May. SRC Research Report