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
871*2002
Nominal logic, a first order theory of names and binding
AM Pitts
Information and computation 186 (2), 165-193, 2003
5322003
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
2572004
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
251*1993
Relational properties of domains
AM Pitts
Information and computation 127 (2), 66-90, 1996
248*1996
Categorical logic
AM Pitts
University of Cambridge, Computer Laboratory, 1995
2341995
Operational reasoning for functions with local state
AM Pitts, IDB Stark
Higher order operational techniques in semantics, 227-273, 1998
2211998
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
ACM SIGPLAN Notices 38 (9), 263-274, 2003
2122003
Parametric polymorphism and operational equivalence
AM Pitts
Mathematical Structures in Computer Science 10 (3), 321-359, 2000
2012000
Tripos theory
JME Hyland, PT Johnstone, AM Pitts
Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980
1941980
Nominal sets: Names and symmetry in computer science
AM Pitts
Cambridge University Press, 2013
1912013
Operationally-based theories of program equivalence
AM Pitts
Semantics and Logics of Computation 14, 241, 1997
1751997
Polymorphism is set theoretic, constructively
AM Pitts
Category Theory and Computer Science, 12-39, 1987
1661987
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
1611992
A metalanguage for programming with bound names modulo renaming
AM Pitts, MJ Gabbay
International Conference on Mathematics of Program Construction, 230-255, 2000
1602000
Higher order operational techniques in semantics
N Negroponte
Cambridge University Press, 1998
1541998
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1472003
The theory of constructions: categorical semantics and topos-theoretic models
JME Hyland, AM Pitts
Contemporary Mathematics 92, 137-199, 1989
1331989
A co-induction principle for recursively defined domains
AM Pitts
Theoretical Computer Science 124 (2), 195-219, 1994
1091994
Alpha-structural recursion and induction
AM Pitts
Journal of the ACM (JACM) 53 (3), 459-506, 2006
1072006
The system can't perform the operation now. Try again later.
Articles 1–20