Follow
Andrew M Pitts
Andrew M Pitts
Professor of Theoretical Computer Science, University of Cambridge
Verified email at cl.cam.ac.uk - Homepage
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
972*2002
Nominal logic, a first order theory of names and binding
AM Pitts
Information and computation 186 (2), 165-193, 2003
5922003
Nominal sets: Names and symmetry in computer science
AM Pitts
Cambridge University Press, 2013
3002013
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
2962004
Categorical logic
AM Pitts
Handbook of logic in computer science 5, 39-128, 2001
2872001
Relational properties of domains
AM Pitts
Information and computation 127 (2), 66-90, 1996
272*1996
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
2591993
Operational reasoning for Functions with Local State
A Pitts, I Stark
Higher order operational techniques in semantics, 227, 1998
2531998
Tripos theory
JME Hyland, PT Johnstone, AM Pitts
Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980
2371980
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003
2252003
Parametric polymorphism and operational equivalence
AM Pitts
Mathematical structures in computer science 10 (3), 321-359, 2000
2252000
Operationally-based theories of program equivalence
AM Pitts
Semantics and Logics of Computation 14, 241, 1997
1941997
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
1941992
Polymorphism is set theoretic, constructively
AM Pitts
Category Theory and Computer Science, 12-39, 1987
1781987
A metalanguage for programming with bound names modulo renaming
AM Pitts, MJ Gabbay
International Conference on Mathematics of Program Construction, 230-255, 2000
1652000
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1622003
The theory of constructions: Categorical semantics and topos-theoretic models
JME Hyland, AM Pitts
Contemporary Mathematics 92, 137-199, 1989
1431989
Operational semantics and program equivalence
AM Pitts
International Summer School on Applied Semantics, 378-412, 2000
1192000
Alpha-structural recursion and induction
AM Pitts
Journal of the ACM (JACM) 53 (3), 459-506, 2006
1152006
A co-induction principle for recursively defined domains
AM Pitts
Theoretical Computer Science 124 (2), 195-219, 1994
1151994
The system can't perform the operation now. Try again later.
Articles 1–20