Henk Barendregt. Introduction to Generalized Type Systems. Journal of Functional Programming, 1(2):125-154, 1991.
@article{Barendregt91,
title = {Introduction to Generalized Type Systems},
author = {Henk Barendregt},
year = {1991},
tags = {type system},
researchr = {https://researchr.org/publication/Barendregt91},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {1},
number = {2},
pages = {125-154},
}