M. Hyland. A syntactic characterisation
of the Equality in
some Models of the Lambda Calculus.
Journal of the London Mathematical Society, 12, 1976, 361-370.
This characterises equalities in the standard Scott model and in
the P-omega for the lambda calculus.
J. M. E. Hyland. A survey of some useful partial order
relations on terms of the Lambda Calculus.
In C. Bohm (editor),
Lambda Calculus and Computer Science Theory, Springer Lecture Notes in
Computer Science 37, 1976, 83-93.
I shall get round to explaining some corrections and possible misunderstandings
soon.
R. O. Gandy and J. M. E. Hyland. Computable
and recursively countable functionals of higher type.
In R. O. Gandy and J. M. E. Hyland (editors),
Logic Colloquium 76, North-Holland, 1977, 407-438.
This joint paper with my D.Phil supervisor Robin Gandy contains
recursion-theoretic material some chosen from my thesis and
some previously unpublished work of Gandy.
J. M. E. Hyland. Aspects of constructivity.
In R. O. Gandy and J. M. E. Hyland (editors),
Logic Colloquium 76, North-Holland, 1977, 407-438.
This is based on my talk at Logic Colloquium 1976 in Oxford.
It combines ideas about sheaf models with techniques from
Troelstra. The perspective is crude and when Mike Fourman
discovered his model for choices sequences it was clear that
the material should be reformulated using that. But I have never
got round to doing so.
J. M. E. Hyland. The intrinsic recursion
theory on the countable or continuous functionals.
In J. E. Fenstad, R. O. Gandy and G. E. Sacks (editors),
Generalized Recursion Theory II, North-Holland, 1978, 135-145.
J. M. E. Hyland. Filter spaces and continuous
functionals.
Annals of Mathematical Logic 16, 1979, 101-143.
This paper contains much of the abstract work in my DPhil thesis.
M. P. Fourman and J. M. E. Hyland.
Sheaf models for analysis.
In M. P. Fourman, C. J. Mulvey and D. S. Scott (editors),
Applications of Sheaves, Springer Lecture Notes in
Mathematics 753, 1979, 280-301.
J. M. E. Hyland. Continuity in Spatial Toposes.
In M. P. Fourman, C. J. Mulvey and D. S. Scott (editors),
Applications of Sheaves, Springer Lecture Notes in
Mathematics 753, 1979, 442-465.
J. M. E. Hyland, P. T. Johnstone and A. M. Pitts.
Tripos Theory.
Mathematical Proceedings of the Cambridge Philosophical Society,
88, 1980, 205-232.