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.