1986] "A polymorphic lambda-calculus with Type:Type (0)

by L Cardelli