Martin Hyland
Martin Hyland
Professor of Mathematical Logic, Cambridge
Verified email at dpmms.cam.ac.uk
TitleCited byYear
On full abstraction for PCF: I, II, and III
JME Hyland, CHL Ong
Information and computation 163 (2), 285-408, 2000
7662000
Sheaves and logic
MP Fourman, DS Scott
Applications of sheaves, 302-401, 1979
4031979
The effective topos
JME Hyland
Studies in Logic and the Foundations of Mathematics 110, 165-216, 1982
3661982
A term calculus for intuitionistic linear logic
N Benton, G Bierman, V De Paiva, M Hyland
International Conference on Typed Lambda Calculi and Applications, 75-90, 1993
2251993
Tripos theory
JME Hyland, PT Johnstone, AM Pitts
Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980
1921980
A small complete category
JME Hyland
Annals of pure and applied logic 40 (2), 135-165, 1988
1751988
Combining effects: Sum and tensor
M Hyland, G Plotkin, J Power
Theoretical Computer Science 357 (1-3), 70-99, 2006
1582006
A syntactic characterization of the equality in some models for the lambda calculus
M Hyland
Journal of the London Mathematical Society 2 (3), 361-370, 1976
1521976
First steps in synthetic domain theory
JME Hyland
Category Theory, 131-156, 1991
1471991
The theory of constructions: categorical semantics and topos-theoretic models
JME Hyland, AM Pitts
Contemporary Mathematics 92, 137-199, 1989
1321989
Term assignment for intuitionistic linear logic (preliminary report)
N Benton, G Bierman, V de Paiva, M Hyland
University of Cambridge. Computer Laboratory, 1992
1311992
The discrete objects in the effective topos
JME Hyland, EP Robinson, G Rosolini
Proceedings of the London mathematical society 3 (1), 1-36, 1990
1281990
Definability and computability
IUL Ershov, YL Ershov, YL Ershov
Springer Science & Business Media, 1996
1261996
Game semantics
M Hyland
Semantics and logics of computation 14, 131, 1997
1221997
Model of partial continuous functionals
YL Ershov
Studies in Logic and the Foundations of Mathematics 87, 455-467, 1977
1221977
Glueing and orthogonality for models of linear logic
M Hyland, A Schalk
Theoretical computer science 294 (1-2), 183-231, 2003
1162003
Sheaf models for analysis
MP Fourman, JME Hyland
Applications of sheaves, 280-301, 1979
1151979
The category theoretic understanding of universal algebra: Lawvere theories and monads
M Hyland, J Power
Electronic Notes in Theoretical Computer Science 172, 437-458, 2007
1102007
Hyperpinite model theory
HJ Keisler
Studies in Logic and the Foundations of Mathematics 87, 5-110, 1977
1071977
Filter spaces and continuous functionals
JME Hyland
Annals of mathematical logic 16 (2), 101-143, 1979
1051979
The system can't perform the operation now. Try again later.
Articles 1–20