Folgen
Andrew M Pitts
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
Bestätigte E-Mail-Adresse bei cl.cam.ac.uk - Startseite
Titel
Zitiert von
Zitiert von
Jahr
A new approach to abstract syntax with variable binding
MJ Gabbay, AM Pitts
Formal aspects of computing 13 (3), 341-363, 2002
1068*2002
Nominal logic, a first order theory of names and binding
AM Pitts
Information and computation 186 (2), 165-193, 2003
6262003
Nominal sets: Names and symmetry in computer science
AM Pitts
Cambridge University Press, 2013
4022013
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
3322004
Categorical logic
AM Pitts
Handbook of logic in computer science 5, 39-128, 2001
3242001
Operational reasoning for Functions with Local State
A Pitts, I Stark
Higher order operational techniques in semantics, 227, 1998
2861998
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
2851993
Relational properties of domains
AM Pitts
Information and computation 127 (2), 66-90, 1996
284*1996
Tripos theory
JME Hyland, PT Johnstone, AM Pitts
Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980
2801980
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
2501992
Parametric polymorphism and operational equivalence
AM Pitts
Mathematical structures in computer science 10 (3), 321-359, 2000
2332000
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003
2272003
Operationally-based theories of program equivalence
AM Pitts
Semantics and Logics of Computation 14, 241, 1997
2131997
Polymorphism is set theoretic, constructively
AM Pitts
Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005
1832005
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1762003
A metalanguage for programming with bound names modulo renaming
AM Pitts, MJ Gabbay
Mathematics of Program Construction: 5th International Conference, MPC 2000 …, 2000
1692000
The theory of constructions: Categorical semantics and topos-theoretic models
JME Hyland, AM Pitts
Categories in Computer Science and Logic 92, 137-199, 1989
1541989
A co-induction principle for recursively defined domains
AM Pitts
Theoretical Computer Science 124 (2), 195-219, 1994
1251994
Axioms for modelling cubical type theory in a topos
I Orton, AM Pitts
arXiv preprint arXiv:1712.04864, 2017
1232017
Operational semantics and program equivalence
AM Pitts
International Summer School on Applied Semantics, 378-412, 2000
1222000
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20