A Finitary Retract Model for the Polymorphic Lambda-Calculus (1982)

by N J McCracken