Martin Hyland

Citée par

	Toutes	Depuis 2020
Citations	6447	1288
indice h	40	19
indice i10	64	29

320

160

240

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 38 62 82 69 98 64 123 123 112 79 153 108 90 140 141 187 192 235 218 194 210 180 173 183 205 240 232 205 229 231 254 209 247 233 316 274 9

Accès public

Tout afficher

2 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

John PowerHonorary Professor in Computing, Macquarie UniversityAdresse e-mail validée de bath.edu
Luke OngDistinguished University Professor, Nanyang Technological UniversityAdresse e-mail validée de ntu.edu.sg
Valeria de PaivaTopos Institute, University of BirminghamAdresse e-mail validée de topos.institute
Nick BentonEngineering Manager, FacebookAdresse e-mail validée de fb.com
Gavin BiermanOracleAdresse e-mail validée de oracle.com
Gordon PlotkinLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghAdresse e-mail validée de inf.ed.ac.uk
Nicola GambinoDepartment of Mathematics, University of ManchesterAdresse e-mail validée de manchester.ac.uk
Giuseppe RosoliniProfessor of Mathematical Logic, Università degli Studi di GenovaAdresse e-mail validée de unige.it
Andrew M PittsEmeritus Professor of Theoretical Computer Science, University of CambridgeAdresse e-mail validée de cl.cam.ac.uk
Edmund RobinsonProfessor of Computer Science, Queen Mary, University of LondonAdresse e-mail validée de qmul.ac.uk
Andrea SchalkSchool of Computer Science, University of ManchesterAdresse e-mail validée de manchester.ac.uk
Paul Blain LevySenior Lecturer, University of BirminghamAdresse e-mail validée de cs.bham.ac.uk
Michael FourmanSchool of Informatics, The University of EdinburghAdresse e-mail validée de ed.ac.uk
Christian UrbanKing's College LondonAdresse e-mail validée de kcl.ac.uk
Eugenio MoggiProfessor of Computer Science, Genova UniversityAdresse e-mail validée de unige.it

Suivre

Martin Hyland

Professor of Mathematical Logic, Cambridge

Adresse e-mail validée de dpmms.cam.ac.uk

Mathematics Theoretical Computer Science


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
On full abstraction for PCF: I, II, and III JME Hyland, CHL Ong Information and computation 163 (2), 285-408, 2000	968	2000
The effective topos JME Hyland Studies in Logic and the Foundations of Mathematics 110, 165-216, 1982	477	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	284	1993
Tripos theory JME Hyland, PT Johnstone, AM Pitts Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980	280	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	197	2007
First steps in synthetic domain theory JME Hyland Category Theory: Proceedings of the International Conference held in Como …, 2006	181	2006
Glueing and orthogonality for models of linear logic M Hyland, A Schalk Theoretical computer science 294 (1-2), 183-231, 2003	181	2003
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	148	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	134	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs