A new approach to abstract syntax with variable binding MJ Gabbay, AM Pitts Formal aspects of computing 13 (3), 341-363, 2002 | 1043* | 2002 |
Nominal logic, a first order theory of names and binding AM Pitts Information and computation 186 (2), 165-193, 2003 | 624 | 2003 |
Nominal sets: Names and symmetry in computer science AM Pitts Cambridge University Press, 2013 | 382 | 2013 |
Nominal unification C Urban, AM Pitts, MJ Gabbay Theoretical Computer Science 323 (1-3), 473-497, 2004 | 327 | 2004 |
Categorical logic AM Pitts Handbook of logic in computer science 5, 39-128, 2001 | 317 | 2001 |
Relational properties of domains AM Pitts Information and computation 127 (2), 66-90, 1996 | 286* | 1996 |
Operational reasoning for Functions with Local State A Pitts, I Stark Higher order operational techniques in semantics, 227, 1998 | 282 | 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 |
Parametric polymorphism and operational equivalence AM Pitts Mathematical structures in computer science 10 (3), 321-359, 2000 | 234 | 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 | 234 | 1992 |
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 | 183 | 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 | 151 | 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 | 120 | 2000 |