Andrew M Pitts
Andrew M Pitts
Professor of Theoretical Computer Science, University of Cambridge
Verified email at cl.cam.ac.uk - Homepage
TitleCited byYear
A new approach to abstract syntax with variable binding
MJ Gabbay, AM Pitts
Formal aspects of computing 13 (3-5), 341-363, 2002
868*2002
Nominal logic, a first order theory of names and binding
AM Pitts
Information and computation 186 (2), 165-193, 2003
5242003
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
2542004
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
248*1993
Relational properties of domains
AM Pitts
Information and computation 127 (2), 66-90, 1996
245*1996
Categorical logic
AM Pitts
University of Cambridge, Computer Laboratory, 1995
2301995
Operational reasoning for functions with local state
AM Pitts, IDB Stark
Higher order operational techniques in semantics, 227-273, 1998
2171998
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
ACM SIGPLAN Notices 38 (9), 263-274, 2003
2112003
Parametric polymorphism and operational equivalence
AM Pitts
Mathematical Structures in Computer Science 10 (3), 321-359, 2000
1992000
Tripos theory
JME Hyland, PT Johnstone, AM Pitts
Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980
1881980
Nominal sets: Names and symmetry in computer science
AM Pitts
Cambridge University Press, 2013
1782013
Operationally-based theories of program equivalence
AM Pitts
Semantics and Logics of Computation 14, 241, 1997
1761997
Polymorphism is set theoretic, constructively
AM Pitts
Category Theory and Computer Science, 12-39, 1987
1671987
A metalanguage for programming with bound names modulo renaming
AM Pitts, MJ Gabbay
International Conference on Mathematics of Program Construction, 230-255, 2000
1592000
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
1551992
Higher order operational techniques in semantics
N Negroponte
Cambridge University Press, 1998
1531998
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1402003
The theory of constructions: categorical semantics and topos-theoretic models
JME Hyland, AM Pitts
Contemporary Mathematics 92, 137-199, 1989
1321989
A co-induction principle for recursively defined domains
AM Pitts
Theoretical Computer Science 124 (2), 195-219, 1994
1131994
Alpha-structural recursion and induction
AM Pitts
Journal of the ACM (JACM) 53 (3), 459-506, 2006
1062006
The system can't perform the operation now. Try again later.
Articles 1–20