Martin Hyland

Cited by

	All	Since 2019
Citations	6429	1525
h-index	40	21
i10-index	64	35

320

160

240

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202421 20 8 24 38 62 82 69 98 63 123 123 112 79 153 108 90 140 141 187 190 235 217 194 212 180 173 183 205 240 232 205 229 231 254 209 247 233 314 268

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

John PowerHonorary Professor in Computing, Macquarie UniversityVerified email at bath.edu
Luke OngDistinguished University Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
Valeria de PaivaTopos Institute, University of BirminghamVerified email at topos.institute
Nick BentonEngineering Manager, FacebookVerified email at fb.com
Gavin BiermanOracleVerified email at oracle.com
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at inf.ed.ac.uk
Nicola GambinoDepartment of Mathematics, University of ManchesterVerified email at manchester.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaVerified email at unige.it
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeVerified email at cl.cam.ac.uk
Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonVerified email at qmul.ac.uk
Andrea SchalkSchool of Computer Science, University of ManchesterVerified email at manchester.ac.uk
Paul Blain LevySenior Lecturer, University of BirminghamVerified email at cs.bham.ac.uk
Michael FourmanSchool of Informatics, The University of EdinburghVerified email at ed.ac.uk
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova UniversityVerified email at unige.it

Martin Hyland

Professor of Mathematical Logic, Cambridge

Verified email at dpmms.cam.ac.uk

Mathematics Theoretical Computer Science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On full abstraction for PCF: I, II, and III JME Hyland, CHL Ong Information and computation 163 (2), 285-408, 2000	967	2000
The effective topos JME Hyland Studies in Logic and the Foundations of Mathematics 110, 165-216, 1982	474	1982
A term calculus for intuitionistic linear logic N Benton, G Bierman, V De Paiva, M Hyland Typed Lambda Calculi and Applications: International Conference on Typed …, 1993	282	1993
Tripos theory JME Hyland, PT Johnstone, AM Pitts Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980	278	1980
Combining effects: Sum and tensor M Hyland, G Plotkin, J Power Theoretical computer science 357 (1-3), 70-99, 2006	234	2006
A small complete category JME Hyland Annals of pure and applied logic 40 (2), 135-165, 1988	213	1988
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	195	2007
Glueing and orthogonality for models of linear logic M Hyland, A Schalk Theoretical computer science 294 (1-2), 183-231, 2003	181	2003
First steps in synthetic domain theory JME Hyland Category Theory: Proceedings of the International Conference held in Como …, 2006	180	2006
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	170	1976
Game semantics M Hyland Semantics and logics of computation 14, 131, 1997	163	1997
The theory of constructions: Categorical semantics and topos-theoretic models JME Hyland, AM Pitts Contemporary Mathematics 92, 137-199, 1989	153	1989
Wellfounded trees and dependent polynomial functors N Gambino, M Hyland International Workshop on Types for Proofs and Programs, 210-225, 2003	147	2003
The discrete objects in the effective topos JME Hyland, EP Robinson, G Rosolini Proceedings of the London mathematical society 3 (1), 1-36, 1990	147	1990
The cartesian closed bicategory of generalised species of structures M Fiore, N Gambino, M Hyland, G Winskel Journal of the London Mathematical Society 77 (1), 203-220, 2008	134	2008
Term assignment for intuitionistic linear logic N Benton, G Bierman, V de Paiva, M Hyland Technical Report 262, Computer Laboratory, University of Cambridge, 1992	133	1992
Sheaf models for analysis MP Fourman, JME Hyland Applications of Sheaves: Proceedings of the Research Symposium on …, 2006	128	2006
Full intuitionistic linear logic M Hyland, V De Paiva Annals of Pure and Applied Logic 64 (3), 273-291, 1993	119	1993
Linear λ-calculus and categorical models revisited N Benton, G Bierman, V De Paiva, M Hyland Computer Science Logic: 6th Workshop, CSL'92 San Miniato, Italy, September …, 1993	113	1993
Filter spaces and continuous functionals JME Hyland Annals of mathematical logic 16 (2), 101-143, 1979	113	1979

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors