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<\i>, Contemporary Mathematics 92, 1989, 137-199.
Martin Hyland and Valeria Paiva. Lineales.
In O que nos faz pensar, Departamento de Filosofia da PUC-RIO
(Pontificial Catholic University of Rio de Janeiro), 1991,
107-123.
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 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.