Publications 1981-1990

J. M. E. Hyland. Function spaces in the category of Locales.
In B. Banaschewski and R.-E. Hoffmann (editors). Continuous Lattices, Lecture Notes in Mathematics 871, Springer 1981, 264-281.

J. M. E. Hyland. Applications of constructivity.
In L. J. Cohen, J. Los, H Pfeiffer and K.-P. Podewski (editors). Logic Methodology and Philosophy of Science VI, North-Holland 1982, 145-152.

J. M. E. Hyland. The Effective Topos.
In A.S. Troelstra and D van Dalen (editors). The L. E. J. Bouwer Centenary Symposium, North-Holland 1982, 165-216.
The version above is comes from a Latex file produced by Evan Cavallo. A few typos or notational confusions have been cleared up and it is much easier to read that the original a scan of which I keep here for the record.

J. M. E. Hyland. A small complete category.
Annals of Pure and Applied Logic 40, 1988, 135-165.

J. M. E. Hyland and A. M. Pitts. The Theory of Constructions: Categorical Semantics and Topos Theoretic Models.
In J. W. Gray and A. Scedrov (editors), Categories in Computer Science and Logic, Contemporary Mathematics 92, 1989, 137-199.

J. M. E. Hyland, E. P. Robinson and G. Rosolini. The Discrete Objects in the Effective Topos.
Proceedings of the London Mathematical Society, (3) 60, 1990, 1-36.

J. M. E. Hyland, E. P. Robinson and G. Rosolini. Algebraic Types in PER Models.
In M. Main, A. Melton, M.Mislove and D. Schmidt (editors), Mathematical Foundations of Programming Language Semantics, Lecture Notes in Computer Science 442, 1990, 330-350.