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.