Andrew M Pitts

Citado por

	Todos	Desde 2019
Citações	8003	1769
Índice h	40	20
Índice i10	64	35

380

190

285

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202435 39 51 61 83 99 113 100 124 137 133 152 129 165 238 288 372 323 350 345 303 325 279 277 241 249 255 276 264 300 315 241 312 281 338 282

Acesso público

Ver todos

8 artigos

0 artigo

disponível

não disponível

Com base nas autorizações de financiamento

Coautores

Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKE-mail confirmado em hw.ac.uk
Ian OrtonUniversity of CambridgeE-mail confirmado em cam.ac.uk
Gavin BiermanOracleE-mail confirmado em oracle.com
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghE-mail confirmado em ed.ac.uk
Bas SpittersAssociate Professor, Aarhus UniversityE-mail confirmado em cs.au.dk
Martin HylandProfessor of Mathematical Logic, CambridgeE-mail confirmado em dpmms.cam.ac.uk
Christian UrbanKing's College LondonE-mail confirmado em kcl.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceE-mail confirmado em cl.cam.ac.uk
S. C. SteenkampPhD student, University of CambridgeE-mail confirmado em cl.cam.ac.uk
Dan LicataWesleyan UniversityE-mail confirmado em wesleyan.edu
Ranald CloustonLecturer, Australian National UniversityE-mail confirmado em anu.edu.au
Rasmus MøgelbergIT University of CopenhagenE-mail confirmado em itu.dk
Bassel MannaaPostdoc, IT University of CopenhagenE-mail confirmado em itu.dk
Roy CroleAssociate Professor, University of LeicesterE-mail confirmado em le.ac.uk
Matthew LakinUniversity of New MexicoE-mail confirmado em cs.unm.edu
Matthew J. ParkinsonMicrosoft ResearchE-mail confirmado em microsoft.com
Lars BirkedalDept. of Computer Science, Aarhus UniversityE-mail confirmado em cs.au.dk
Steffen LöschPhD Candidate, University of CambridgeE-mail confirmado em cl.cam.ac.uk
Peter DybjerProfessor of Computer Science, Chalmers UniversityE-mail confirmado em chalmers.se
Michael FourmanSchool of Informatics, The University of EdinburghE-mail confirmado em ed.ac.uk

Seguir

Andrew M Pitts

Emeritus Professor of Theoretical Computer Science, University of Cambridge

E-mail confirmado em cl.cam.ac.uk - Página inicial

type theory category theory nominal techniques programming language semantics logic in computer


Título Ordenar por citações Ordenar por ano Ordenar por título	Citado por Citado por	Ano
A new approach to abstract syntax with variable binding MJ Gabbay, AM Pitts Formal aspects of computing 13 (3), 341-363, 2002	1046*	2002
Nominal logic, a first order theory of names and binding AM Pitts Information and computation 186 (2), 165-193, 2003	625	2003
Nominal sets: Names and symmetry in computer science AM Pitts Cambridge University Press, 2013	387	2013
Nominal unification C Urban, AM Pitts, MJ Gabbay Theoretical Computer Science 323 (1-3), 473-497, 2004	328	2004
Categorical logic AM Pitts Handbook of logic in computer science 5, 39-128, 2001	320	2001
Relational properties of domains AM Pitts Information and computation 127 (2), 66-90, 1996	287*	1996
Operational reasoning for Functions with Local State A Pitts, I Stark Higher order operational techniques in semantics, 227, 1998	285	1998
Observable properties of higher order functions that dynamically create local names, or: What's new? AM Pitts, IDB Stark International Symposium on Mathematical Foundations of Computer Science, 122-141, 1993	276	1993
Tripos theory JME Hyland, PT Johnstone, AM Pitts Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980	276	1980
On an interpretation of second order quantification in first order intuitionistic propositional logic AM Pitts The Journal of Symbolic Logic 57 (1), 33-52, 1992	238	1992
Parametric polymorphism and operational equivalence AM Pitts Mathematical structures in computer science 10 (3), 321-359, 2000	234	2000
FreshML: Programming with binders made simple MR Shinwell, AM Pitts, MJ Gabbay Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003	229	2003
Operationally-based theories of program equivalence AM Pitts Semantics and Logics of Computation 14, 241, 1997	210	1997
Polymorphism is set theoretic, constructively AM Pitts Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005	184	2005
MJ: An imperative core calculus for Java and Java with effects GM Bierman, MJ Parkinson, AM Pitts University of Cambridge, Computer Laboratory, 2003	171	2003
A metalanguage for programming with bound names modulo renaming AM Pitts, MJ Gabbay Mathematics of Program Construction: 5th International Conference, MPC 2000 …, 2000	169	2000
The theory of constructions: Categorical semantics and topos-theoretic models JME Hyland, AM Pitts Contemporary Mathematics 92, 137-199, 1989	153	1989
Axioms for modelling cubical type theory in a topos I Orton, AM Pitts arXiv preprint arXiv:1712.04864, 2017	124	2017
A co-induction principle for recursively defined domains AM Pitts Theoretical Computer Science 124 (2), 195-219, 1994	123	1994
Operational semantics and program equivalence AM Pitts International Summer School on Applied Semantics, 378-412, 2000	122	2000

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