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

Roberto M. Amadio

Browse the full LICS paper archive.