1. Amadio, R., Bruce, K.B., Longo, G. The finitary projection model for second-order lambda calculus and solutions to higher-order domain equations. Proc 1st IEEE Symposium on Logic in Computer Science, Cambridge, Mass., June 1986.
2. Bainbridge, E.S., Freyd, P.J., Scedrov, A., Scott, P.J. Functorial polymorphism. In: Logical Foundations of Functional Programming, Proceedings University of Texas Programming Institute, Austin, Texas, June 1987, ed. by G. Huet, to appear.
3. Barendregt, H. The lambda calculus. Its syntax and semantics. Revised edition, North-Holland, Amsterdam, 1984.
4. Barendregt, H. Lambda calculi with types. In: Handbook of logic in computer science, ed. by S. Abramsky et al., Oxford Univ. Press, to appear.
5. Barnes, J.G.P. Programming in Ada. Addison-Wesley, 1981.