Martin Hyland 个人学术档案

引用次数

	总计	2019 年至今
引用	6340	1439
h 指数	40	21
i10 指数	64	34

320

160

240

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202421 20 8 24 38 62 82 69 98 63 123 123 112 79 153 110 90 140 141 187 190 235 217 194 212 179 174 183 205 238 232 205 229 231 252 210 249 234 306 188

开放获取的出版物数量

查看全部

2 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

John PowerHonorary Professor in Computing, Macquarie University在 bath.edu 的电子邮件经过验证
Luke OngDistinguished University Professor, Nanyang Technological University在 ntu.edu.sg 的电子邮件经过验证
Valeria de PaivaTopos Institute, University of Birmingham在 topos.institute 的电子邮件经过验证
Nick BentonEngineering Manager, Facebook在 fb.com 的电子邮件经过验证
Gavin BiermanOracle在 oracle.com 的电子邮件经过验证
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of Edinburgh在 inf.ed.ac.uk 的电子邮件经过验证
Nicola GambinoDepartment of Mathematics, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di Genova在 unige.it 的电子邮件经过验证
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
Edmund RobinsonProfessor of Computer Science, Queen Mary, University of London在 qmul.ac.uk 的电子邮件经过验证
Andrea SchalkSchool of Computer Science, University of Manchester在 manchester.ac.uk 的电子邮件经过验证
Paul Blain LevySenior Lecturer, University of Birmingham在 cs.bham.ac.uk 的电子邮件经过验证
Michael FourmanSchool of Informatics, The University of Edinburgh在 ed.ac.uk 的电子邮件经过验证
Christian UrbanKing's College London在 kcl.ac.uk 的电子邮件经过验证
Eugenio MoggiProfessor of Computer Science, Genova University在 unige.it 的电子邮件经过验证

关注

Martin Hyland

Professor of Mathematical Logic, Cambridge

在 dpmms.cam.ac.uk 的电子邮件经过验证

Mathematics Theoretical Computer Science


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
On full abstraction for PCF: I, II, and III JME Hyland, CHL Ong Information and computation 163 (2), 285-408, 2000	959	2000
The effective topos JME Hyland Studies in Logic and the Foundations of Mathematics 110, 165-216, 1982	467	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	280	1993
Tripos theory JME Hyland, PT Johnstone, AM Pitts Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980	274	1980
Combining effects: Sum and tensor M Hyland, G Plotkin, J Power Theoretical computer science 357 (1-3), 70-99, 2006	228	2006
A small complete category JME Hyland Annals of pure and applied logic 40 (2), 135-165, 1988	210	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	193	2007
Glueing and orthogonality for models of linear logic M Hyland, A Schalk Theoretical computer science 294 (1-2), 183-231, 2003	179	2003
First steps in synthetic domain theory JME Hyland Category Theory: Proceedings of the International Conference held in Como …, 2006	177	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	167	1976
Game semantics M Hyland Semantics and logics of computation 14, 131, 1997	160	1997
The theory of constructions: Categorical semantics and topos-theoretic models JME Hyland, AM Pitts Contemporary Mathematics 92, 137-199, 1989	150	1989
The discrete objects in the effective topos JME Hyland, EP Robinson, G Rosolini Proceedings of the London mathematical society 3 (1), 1-36, 1990	145	1990
Wellfounded trees and dependent polynomial functors N Gambino, M Hyland International Workshop on Types for Proofs and Programs, 210-225, 2003	142	2003
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
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	130	2008
Sheaf models for analysis MP Fourman, JME Hyland Applications of Sheaves: Proceedings of the Research Symposium on …, 2006	127	2006
Full intuitionistic linear logic M Hyland, V De Paiva Annals of Pure and Applied Logic 64 (3), 273-291, 1993	118	1993
Filter spaces and continuous functionals JME Hyland Annals of mathematical logic 16 (2), 101-143, 1979	113	1979
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	110	1993

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用