Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo. The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations. In Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA. pages 122-130, IEEE Computer Society, 1986.
@inproceedings{AmadioBL86,
title = {The Finitary Projection Model for Second Order Lambda Calculus and Solutions to Higher Order Domain Equations},
author = {Roberto M. Amadio and Kim B. Bruce and Giuseppe Longo},
year = {1986},
researchr = {https://researchr.org/publication/AmadioBL86},
cites = {0},
citedby = {0},
pages = {122-130},
booktitle = {Proceedings, Symposium on Logic in Computer Science, 16-18 June 1986, Cambridge, Massachusetts, USA},
publisher = {IEEE Computer Society},
}