Roberto M. Amadio, Kim B. Bruce, Giuseppe Longo
The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations
LICS, 1986.
@inproceedings{LICS-1986-AmadioBL,
author = "Roberto M. Amadio and Kim B. Bruce and Giuseppe Longo",
booktitle = "{Proceedings of the First Symposium on Logic in Computer Science}",
isbn = "0-8186-0720-3",
pages = "122--130",
publisher = "{IEEE Computer Society}",
title = "{The Finitary Projection Model for Second Order λ Calculus and Solutions to Higher Order Domain Equations}",
year = 1986,
}