Polymorphism is set-theoretic constructively (1988)

by A Pitts
Venue:CTCS’88 Conf. Proc., D.Pitt ed., LNCS 283