Andrew M Pitts

Citata da

	Tutte	Dal 2020
Citazioni	8060	1512
Indice H	41	19
i10-index	64	32

380

190

285

198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202535 39 51 65 83 99 113 100 124 137 133 151 129 162 242 287 372 323 350 345 302 325 281 277 240 249 255 276 264 298 315 242 315 275 339 307 34

Accesso pubblico

Visualizza tutto

8 articoli

0 articoli

Disponibili

Non disponibili

In base ai mandati di finanziamento

Coautori

Murdoch GabbayLecturer in Computer Science at Heriot-Watt University, Edinburgh, UKEmail verificata su hw.ac.uk
Ian OrtonUniversity of CambridgeEmail verificata su cam.ac.uk
Gavin BiermanOracleEmail verificata su oracle.com
Ian StarkLaboratory for Foundations of Computer Science, School of Informatics, University of EdinburghEmail verificata su ed.ac.uk
Bas SpittersAssociate Professor, Aarhus UniversityEmail verificata su cs.au.dk
Martin HylandProfessor of Mathematical Logic, CambridgeEmail verificata su dpmms.cam.ac.uk
Christian UrbanKing's College LondonEmail verificata su kcl.ac.uk
Marcelo FioreProfessor in Mathematical Foundations of Computer ScienceEmail verificata su cl.cam.ac.uk
S. C. SteenkampPhD student, University of CambridgeEmail verificata su cl.cam.ac.uk
Dan LicataWesleyan UniversityEmail verificata su wesleyan.edu
Ranald CloustonLecturer, Australian National UniversityEmail verificata su anu.edu.au
Rasmus MøgelbergIT University of CopenhagenEmail verificata su itu.dk
Bassel MannaaPostdoc, IT University of CopenhagenEmail verificata su itu.dk
Roy CroleAssociate Professor, University of LeicesterEmail verificata su le.ac.uk
Matthew LakinUniversity of New MexicoEmail verificata su cs.unm.edu
Matthew J. ParkinsonMicrosoft ResearchEmail verificata su microsoft.com
Lars BirkedalDept. of Computer Science, Aarhus UniversityEmail verificata su cs.au.dk
Steffen LöschPhD Candidate, University of CambridgeEmail verificata su cl.cam.ac.uk
Peter DybjerProfessor of Computer Science, Chalmers UniversityEmail verificata su chalmers.se
Michael FourmanSchool of Informatics, The University of EdinburghEmail verificata su ed.ac.uk

Segui

Andrew M Pitts

Emeritus Professor of Theoretical Computer Science, University of Cambridge

Email verificata su cl.cam.ac.uk - Home page

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


Titolo Ordina per citazioni Ordina per anno Ordina per titolo	Citata da Citata da	Anno
A new approach to abstract syntax with variable binding MJ Gabbay, AM Pitts Formal aspects of computing 13 (3), 341-363, 2002	1052*	2002
Nominal logic, a first order theory of names and binding AM Pitts Information and computation 186 (2), 165-193, 2003	629	2003
Nominal sets: Names and symmetry in computer science AM Pitts Cambridge University Press, 2013	394	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	324	2001
Relational properties of domains AM Pitts Information and computation 127 (2), 66-90, 1996	289*	1996
Operational reasoning for Functions with Local State A Pitts, I Stark Higher order operational techniques in semantics, 227, 1998	287	1998
Tripos theory JME Hyland, PT Johnstone, AM Pitts Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980	281	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	244	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	185	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

Il sistema al momento non può eseguire l'operazione. Riprova più tardi.

Articoli 1–20

Citazioni per anno

Citazioni duplicate

Citazioni unite

Aggiungi coautoriCoautori

Segui

Citata da

Coautori