Martin Hyland

Citado por

	Todos	Desde 2019
Citações	6420	1517
Índice h	40	21
Índice i10	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 179 174 183 205 240 232 205 229 231 254 206 249 233 314 261

Acesso público

Ver todos

2 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

John PowerHonorary Professor in Computing, Macquarie UniversityE-mail confirmado em bath.edu
Luke OngDistinguished University Professor, Nanyang Technological UniversityE-mail confirmado em ntu.edu.sg
Valeria de PaivaTopos Institute, University of BirminghamE-mail confirmado em topos.institute
Nick BentonEngineering Manager, FacebookE-mail confirmado em fb.com
Gavin BiermanOracleE-mail confirmado em oracle.com
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mail confirmado em inf.ed.ac.uk
Nicola GambinoDepartment of Mathematics, University of ManchesterE-mail confirmado em manchester.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaE-mail confirmado em unige.it
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeE-mail confirmado em cl.cam.ac.uk
Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonE-mail confirmado em qmul.ac.uk
Andrea SchalkSchool of Computer Science, University of ManchesterE-mail confirmado em manchester.ac.uk
Paul Blain LevySenior Lecturer, University of BirminghamE-mail confirmado em cs.bham.ac.uk
Michael FourmanSchool of Informatics, The University of EdinburghE-mail confirmado em ed.ac.uk
Christian UrbanKing's College LondonE-mail confirmado em kcl.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova UniversityE-mail confirmado em unige.it

Seguir

Martin Hyland

Professor of Mathematical Logic, Cambridge

E-mail confirmado em dpmms.cam.ac.uk

Mathematics Theoretical Computer Science


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
On full abstraction for PCF: I, II, and III JME Hyland, CHL Ong Information and computation 163 (2), 285-408, 2000	966	2000
The effective topos JME Hyland Studies in Logic and the Foundations of Mathematics 110, 165-216, 1982	473	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	276	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	146	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	146	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

O sistema não pode executar a operação agora. Tente novamente mais tarde.

Artigos 1–20

Citações por ano

Citações duplicadas

Citações mescladas

Adicionar coautoresCoautores

Seguir

Citado por

Coautores