An Elementary Fragment of Second-Order Lambda Calculus (2005)

by K Aehlig, J Johannsen
Venue:ACM Transactions on Computational Logic