The theory of parametricity in lambda cube (2004)

by I Takeuti