N. P. Mendler. Recursive Types and Type Constraints in Second-Order Lambda Calculus. In Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA. pages 30-36, IEEE Computer Society, 1987.
@inproceedings{Mendler87,
title = {Recursive Types and Type Constraints in Second-Order Lambda Calculus},
author = {N. P. Mendler},
year = {1987},
tags = {constraints},
researchr = {https://researchr.org/publication/Mendler87},
cites = {0},
citedby = {0},
pages = {30-36},
booktitle = {Proceedings, Symposium on Logic in Computer Science, 22-25 June 1987, Ithaca, New York, USA},
publisher = {IEEE Computer Society},
}