J. M. E. Hyland. Computing and Foundations.
In J. H. Johnson and M. J. Loomis (editors),
The Mathematical Revolution Inspired
by Computing, Clarendon Press Oxford,
1991, 269-284.
J. M. E. Hyland. First steps in synthetic
domain theory.
In A. Carboni, M.-C. Pedicchio and G. Rosolini (editors),
Category Theory, Springer Lecture Notes in Mathematics 1488,
1991, 280-301.
Nick Benton, Gavin Bierman, Valeria de Paiva
and Martin Hyland. Term Assignment
for Intuitionistic Linear Logic.
University of Cambridge Computer Laboratory, Technical Report 262,
1992.
Nick Benton, Gavin Bierman, Valeria de Paiva and Martin Hyland.
A Term Calculus for
Intuitionistic Linear Logic.
In M. Bezem and J.F. Groote (editors).
Proceedings of the International Conference on
Typed Lambda Calculi and Applications, TLCA 93.
Lecture Notes in Computer Science 664, Springer-Verlag, 1993, 179-194.
J. M. E. Hyland and C.-H. L. Ong.
Modified Realizability Toposes and Strong
Normalization Proofs (Extended abstract).
In M. Bezem and J. F. Groote (editors). Proceedings of Typed Lambda
Calculus and Applications (TLCA 1993), Lecture Notes in
Computer Science 664,
Springer-Verlag, 1993, 179-194.
Martin Hyland and Valeria de Paiva.
Full Intuitionistic Logic (Extended Abstract).
Annals of Pure and Applied Logic, 64, 1993, 273-291.
Nick Benton, Gavin Bierman, Valeria de Paiva and Martin Hyland.
Linear Lambda Calculus and Categorical Models Revisited.
In E. Boerger, G. Jaeger, H. K. Buening S. Martini and M.M. Richter (editors).
Proceedings of Sixth Conference on Computer Science Logic,
CSL 93. Lecture notes in Computer Science 702, Springer-Verlag,
1993, 61-84.
J. M. E. Hyland and C.-H. L. Ong.
Pi-calculus, dialogue games and PCF.
In Proceedings of the 7th ACM Conference on Functional
Programming Languages and Computer Architecture (FPCA 1995),
ACM Press, 1995, 96-107.
J. M. E. Hyland and E. Moggi. The S-replete construction In D. Pitt, D. Rydeheard and P. Johnstone (editors). Category Theory and Computer Science, Lecture Notes in Computer Science 953, Springer-Verlag, 1995, 96-116.
Martin Hyland.
Game Semantics.
In A.M. Pitts and P.Dybjer (editors). Semantics of Logics and
Computation,
Publications of the Newton Institute, Cambridge University Press, 1997,
131-184.
(This is a scan from the book. I hope one day to produce a corrected
and updated version!)
Martin Hyland and Andrea Schalk.
Abstract Games for Linear Logic, Extended Abstract.
In M. Hofmann, G. Rosolini and D. Pavlovic (editors).
CTCS '99, Conference on Category theory and Computer Science.
Volume 29 of
Electronic Notes in Theoretical Computer Science, 29, 1999,
127-150.
Martin Hyland and John Power.
Symmetric Monoidal Sketches.
In Second International Conference on Principles and Practice
of Declarative Programming, 2000, 280-288.
J. M. E. Hyland and C.-H. L. Ong.
On Full Abstraction for PCF: I. Models,
observables and the full abstraction problem,
II. Dialogue games and innocent strategies,
III. A fully abstract and universal game model.
Information and Computation, 163, 2000, 285-408.