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-5), 341-363, 2002
925*2002
Nominal logic, a first order theory of names and binding
AM Pitts
Information and computation 186 (2), 165-193, 2003
5642003
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
2752004
Relational properties of domains
AM Pitts
Information and computation 127 (2), 66-90, 1996
256*1996
Categorical logic
AM Pitts
University of Cambridge, Computer Laboratory, 1995
2531995
Nominal sets: Names and symmetry in computer science
AM Pitts
Cambridge University Press, 2013
2472013
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
2451993
Operational reasoning for functions with local state
AM Pitts, IDB Stark
Higher order operational techniques in semantics, 227-273, 1998
2371998
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003
2202003
Parametric polymorphism and operational equivalence
AM Pitts
University of Cambridge, Computer Laboratory, 1998
2121998
Tripos theory
JME Hyland, PT Johnstone, AM Pitts
Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980
2041980
Operationally-based theories of program equivalence
AM Pitts
Semantics and Logics of Computation 14, 241, 1997
1871997
On an interpretation of second order quantification in first order intuitionistic propositional logic
AM Pitts
The Journal of Symbolic Logic, 33-52, 1992
1741992
Polymorphism is set theoretic, constructively
AM Pitts
Category Theory and Computer Science, 12-39, 1987
1661987
A metalanguage for programming with bound names modulo renaming
AM Pitts, MJ Gabbay
International Conference on Mathematics of Program Construction, 230-255, 2000
1622000
Higher order operational techniques in semantics
N Negroponte
Cambridge University Press, 1998
1591998
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1542003
The theory of constructions: categorical semantics and topos-theoretic models
JME Hyland, AM Pitts
Contemporary Mathematics 92, 137-199, 1989
1331989
Alpha-structural recursion and induction
AM Pitts
Journal of the ACM (JACM) 53 (3), 459-506, 2006
1102006
Operational semantics and program equivalence
AM Pitts
International Summer School on Applied Semantics, 378-412, 2000
1102000
The system can't perform the operation now. Try again later.
Articles 1–20