Concepedia

J. M. E. Hyland

JM

Statistics

Publications

12

Citations

1.3K

H-Index

12

Active since

1979

Affiliations

University of Cambridge(Current)

University of Oxford

J. M. E. Hyland is an author at University of Cambridge specializing in mathematics, computer science, and natural sciences.

Publications per year

1979–2014

12

Publications

12

On Full Abstraction for PCF: I, II, and III

J. M. E. Hyland, C.-H. Luke Ong · Information and Computation · 2000 · 646 citations · Full text

Computing, Computer Science, Computer Systems +5

A small complete category

J. M. E. Hyland · Annals of Pure and Applied Logic · 1988 · 132 citations

Life Sciences, Mathematics, Category Management +7

J. M. E. Hyland, Peter Johnstone, Andrew M. Pitts · Mathematical Proceedings of the Cambridge Philosophical Society · 1980 · 105 citations

Natural Sciences, Mathematics, Representation Theory +9

The Discrete Objects in the Effective Topos

J. M. E. Hyland, E. Powell Robinson, Giuseppe Rosolini · Proceedings of the London Mathematical Society · 1990 · 84 citations

Natural Sciences, Computer Science, Physics +4

Filter spaces and continuous functionals

J. M. E. Hyland · Annals of Mathematical Logic · 1979 · 81 citations

Natural Sciences, Historic Preservation, Topology +9

1–5 of 12