## Roberto M. Amadio

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

LICS, 1988.

@inproceedings{LICS-1988-Amadio, author = "Roberto M. Amadio", booktitle = "{Proceedings of the Third Annual Symposium on Logic in Computer Science}", doi = "10.1109/LICS.1988.5100", isbn = "0-8186-0853-6", pages = "51--60", publisher = "{IEEE Computer Society}", title = "{A fixed point extension of the second order λ-calculus: observable equivalences and models}", year = 1988, }