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
995*2002
Nominal logic, a first order theory of names and binding
AM Pitts
Information and computation 186 (2), 165-193, 2003
6072003
Nominal sets: Names and symmetry in computer science
AM Pitts
Cambridge University Press, 2013
3302013
Operationally-based theories of program equivalence
AM Pitts
Semantics and Logics of Computation 14, 241, 1997
310*1997
Categorical logic
AM Pitts
Handbook of logic in computer science 5, 39-128, 2001
3092001
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
3022004
Relational properties of domains
AM Pitts
Information and computation 127 (2), 66-90, 1996
283*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
2751993
Operational reasoning for Functions with Local State
A Pitts, I Stark
Higher order operational techniques in semantics, 227, 1998
2711998
Tripos theory
JME Hyland, PT Johnstone, AM Pitts
Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980
2611980
Parametric polymorphism and operational equivalence
AM Pitts
Mathematical structures in computer science 10 (3), 321-359, 2000
2292000
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003
2272003
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
2151992
Polymorphism is set theoretic, constructively
AM Pitts
Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005
1862005
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1662003
A metalanguage for programming with bound names modulo renaming
AM Pitts, MJ Gabbay
Mathematics of Program Construction: 5th International Conference, MPC 2000 …, 2000
1652000
The theory of constructions: Categorical semantics and topos-theoretic models
JME Hyland, AM Pitts
Contemporary Mathematics 92, 137-199, 1989
1471989
A co-induction principle for recursively defined domains
AM Pitts
Theoretical Computer Science 124 (2), 195-219, 1994
1221994
Alpha-structural recursion and induction
AM Pitts
Journal of the ACM (JACM) 53 (3), 459-506, 2006
1162006
Axioms for modelling cubical type theory in a topos
I Orton, AM Pitts
arXiv preprint arXiv:1712.04864, 2017
1102017
The system can't perform the operation now. Try again later.
Articles 1–20