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

by R Arnadio, K B Bruce, G Longo
Venue:Logic in Computer Science