The �nitary projection model for second order lambda calculus and solutions to higher order domain equations (1986)

by �ABL86� R Amadio� K B Bruce�, G Longo
Venue:Logic in Computer Science