Polymorphic typed lambda-calculi in a type-free axiomatic framework (1990)

by Solomon Feferman
Venue:Logic and Computation, volume 106 of Contemporary Mathematics