A fixed point extension of the second order lambda-calculus: observable equivalences and models

Roberto M. Amadio A fixed point extension of the second order lambda-calculus: observable equivalences and models 51-60 conf/lics/LICS3 1988 LICS db/conf/lics/lics88.html#Amadio88