Andrew M Pitts

Cited by

	All	Since 2019
Citations	8019	1781
h-index	41	20
i10-index	64	35

380

190

285

19891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202435 39 51 65 83 99 113 100 124 137 132 152 129 162 241 288 372 323 350 345 303 325 279 277 241 249 255 277 264 298 315 242 318 279 338 289

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
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghVerified email at ed.ac.uk
Bas SpittersAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Martin HylandProfessor of Mathematical Logic, CambridgeVerified email at dpmms.cam.ac.uk
Christian UrbanKing's College LondonVerified email at kcl.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceVerified email at cl.cam.ac.uk
S. C. SteenkampPhD student, University of CambridgeVerified email at cl.cam.ac.uk
Dan LicataWesleyan UniversityVerified email at wesleyan.edu
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
Roy CroleAssociate Professor, University of LeicesterVerified email at le.ac.uk
Matthew LakinUniversity of New MexicoVerified email at cs.unm.edu
Matthew J. ParkinsonMicrosoft ResearchVerified email at microsoft.com
Lars BirkedalDept. of Computer Science, Aarhus UniversityVerified email at cs.au.dk
Steffen LöschPhD Candidate, University of CambridgeVerified email at cl.cam.ac.uk
Peter DybjerProfessor of Computer Science, Chalmers UniversityVerified email at chalmers.se
Michael FourmanSchool of Informatics, The University of EdinburghVerified email at ed.ac.uk

Andrew M Pitts

Emeritus 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


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	1048*	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	389	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
Tripos theory JME Hyland, PT Johnstone, AM Pitts Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980	278	1980
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
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	239	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

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