pp 167–184.) R. Milner “A Theory of Type Polymorphism (1985)

by P
Venue:Martin-Löf “Constructive Mathematics and Computer Programming”, in Proceedings of the Sixth International Congress for Logic, Methodology and Philosophy of Science, pp 153–175, eds Cohen, ̷Los, Pfeiffer & Podewski) North Holland 1982. (Also in Mathematica