Martin Hyland

Dikutip oleh

	Semua	Sejak 2020
Kutipan	6444	1296
indeks-h	40	19
indeks-i10	64	32

340

170

255

1988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202524 42 64 83 67 95 65 123 124 111 76 152 105 84 138 142 189 193 236 218 189 208 182 171 188 206 239 231 203 225 233 253 201 246 213 322 271 43

Akses publik

Lihat semua

2 artikel

0 artikel

tersedia

tidak tersedia

Berdasarkan pada mandat pendanaan

Pengarang bersama

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

Ikuti

Martin Hyland

Professor of Mathematical Logic, Cambridge

Email yang diverifikasi di dpmms.cam.ac.uk

Mathematics Theoretical Computer Science


Judul Urutkan menurut kutipan Urutkan menurut tahun Urutkan menurut judul	Dikutip oleh Dikutip oleh	Tahun
On full abstraction for PCF: I, II, and III JME Hyland, CHL Ong Information and computation 163 (2), 285-408, 2000	976	2000
The effective topos JME Hyland Studies in Logic and the Foundations of Mathematics 110, 165-216, 1982	479	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	280	1980
Combining effects: Sum and tensor M Hyland, G Plotkin, J Power Theoretical computer science 357 (1-3), 70-99, 2006	235	2006
A small complete category JME Hyland Annals of pure and applied logic 40 (2), 135-165, 1988	209	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	199	2007
First steps in synthetic domain theory JME Hyland Category Theory: Proceedings of the International Conference held in Como …, 2006	184	2006
Glueing and orthogonality for models of linear logic M Hyland, A Schalk Theoretical computer science 294 (1-2), 183-231, 2003	184	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	172	1976
Game semantics M Hyland Semantics and logics of computation 14, 131, 1997	166	1997
The theory of constructions: Categorical semantics and topos-theoretic models JME Hyland, AM Pitts Categories in Computer Science and Logic 92, 137-199, 1989	154	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	143	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	137	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	126	2006
Full intuitionistic linear logic M Hyland, V De Paiva Annals of Pure and Applied Logic 64 (3), 273-291, 1993	116	1993
Filter spaces and continuous functionals JME Hyland Annals of mathematical logic 16 (2), 101-143, 1979	115	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	113	1993

Sistem tidak dapat melakukan operasi ini. Coba lagi nanti.

Artikel 1–20

Kutipan per tahun

Kutipan duplikat

Kutipan yang digabung

Tambahkan pengarang bersamaPengarang bersama

Ikuti

Dikutip oleh

Pengarang bersama