Andrew M Pitts

Cited by

	All	Since 2018
Citations	7526	1552
h-index	39	20
i10-index	64	32

400

200

100

300

1989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202334 38 48 64 66 95 109 94 128 129 125 135 137 163 233 277 383 339 347 370 303 337 281 281 262 256 263 292 262 320 314 259 318 307 34

Public access

View all

8 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKVerified email at hw.ac.uk
Ian OrtonUniversity of CambridgeVerified email at cam.ac.uk
Gavin BiermanOracleVerified email at oracle.com
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
Dan LicataWesleyan UniversityVerified email at wesleyan.edu
S. C. SteenkampPhD student, University of CambridgeVerified email at cl.cam.ac.uk
Matthew LakinUniversity of New MexicoVerified email at cs.unm.edu
Roy CroleAssociate Professor, University of LeicesterVerified email at le.ac.uk
Ranald CloustonLecturer, Australian National UniversityVerified email at anu.edu.au
Rasmus MøgelbergIT University of CopenhagenVerified email at itu.dk
Bassel MannaaPostdoc, IT University of CopenhagenVerified email at itu.dk
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Steffen LöschPhD Candidate, University of CambridgeVerified email at cl.cam.ac.uk
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Michael FourmanSchool of Informatics, The University of EdinburghVerified email at ed.ac.uk
Ki Yung AhnAssistant Professor of Computer Engineering at Hannam University, Daejeon, KoreaVerified email at hnu.kr

Andrew M Pitts

Professor of Theoretical Computer Science, University of Cambridge

Verified email at cl.cam.ac.uk - Homepage

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


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
A new approach to abstract syntax with variable binding MJ Gabbay, AM Pitts Formal aspects of computing 13 (3), 341-363, 2002	989*	2002
Nominal logic, a first order theory of names and binding AM Pitts Information and computation 186 (2), 165-193, 2003	607	2003
Nominal sets: Names and symmetry in computer science AM Pitts Cambridge University Press, 2013	314	2013
Nominal unification C Urban, AM Pitts, MJ Gabbay Theoretical Computer Science 323 (1-3), 473-497, 2004	306	2004
Operationally-based theories of program equivalence AM Pitts Semantics and Logics of Computation 14, 241, 1997	301*	1997
Categorical logic AM Pitts Handbook of logic in computer science 5, 39-128, 2001	299	2001
Relational properties of domains AM Pitts Information and computation 127 (2), 66-90, 1996	279*	1996
Observable properties of higher order functions that dynamically create local names, or: What's new? AM Pitts, IDB Stark Mathematical Foundations of Computer Science 1993: 18th International …, 1993	275	1993
Operational reasoning for Functions with Local State A Pitts, I Stark Higher order operational techniques in semantics, 227, 1998	264	1998
Tripos theory JME Hyland, PT Johnstone, AM Pitts Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980	253	1980
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
Parametric polymorphism and operational equivalence AM Pitts Mathematical structures in computer science 10 (3), 321-359, 2000	229	2000
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	204	1992
Polymorphism is set theoretic, constructively AM Pitts Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005	181	2005
MJ: An imperative core calculus for Java and Java with effects GM Bierman, MJ Parkinson, AM Pitts University of Cambridge, Computer Laboratory, 2003	166	2003
A metalanguage for programming with bound names modulo renaming AM Pitts, MJ Gabbay Mathematics of Program Construction: 5th International Conference, MPC 2000 …, 2000	165	2000
The theory of constructions: Categorical semantics and topos-theoretic models JME Hyland, AM Pitts Contemporary Mathematics 92, 137-199, 1989	143	1989
A co-induction principle for recursively defined domains AM Pitts Theoretical Computer Science 124 (2), 195-219, 1994	120	1994
Alpha-structural recursion and induction AM Pitts Journal of the ACM (JACM) 53 (3), 459-506, 2006	117	2006
Typed operational reasoning A Pitts Advanced Topics in Types and Programming Languages, 245-289, 2005	109	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors