Παρακολούθηση
Andrew M Pitts
Andrew M Pitts
Emeritus Professor of Theoretical Computer Science, University of Cambridge
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα cl.cam.ac.uk - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A new approach to abstract syntax with variable binding
MJ Gabbay, AM Pitts
Formal aspects of computing 13 (3), 341-363, 2002
1033*2002
Nominal logic, a first order theory of names and binding
AM Pitts
Information and computation 186 (2), 165-193, 2003
6222003
Nominal sets: Names and symmetry in computer science
AM Pitts
Cambridge University Press, 2013
3742013
Nominal unification
C Urban, AM Pitts, MJ Gabbay
Theoretical Computer Science 323 (1-3), 473-497, 2004
3232004
Categorical logic
AM Pitts
Handbook of logic in computer science 5, 39-128, 2001
3132001
Relational properties of domains
AM Pitts
Information and computation 127 (2), 66-90, 1996
285*1996
Operational reasoning for Functions with Local State
A Pitts, I Stark
Higher order operational techniques in semantics, 227, 1998
2801998
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
Tripos theory
JME Hyland, PT Johnstone, AM Pitts
Mathematical Proceedings of the Cambridge philosophical society 88 (2), 205-232, 1980
2741980
Parametric polymorphism and operational equivalence
AM Pitts
Mathematical structures in computer science 10 (3), 321-359, 2000
2342000
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
2311992
FreshML: Programming with binders made simple
MR Shinwell, AM Pitts, MJ Gabbay
Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003
2292003
Operationally-based theories of program equivalence
AM Pitts
Semantics and Logics of Computation 14, 241, 1997
2091997
Polymorphism is set theoretic, constructively
AM Pitts
Category Theory and Computer Science: Edinburgh, UK, September 7–9, 1987 …, 2005
1812005
MJ: An imperative core calculus for Java and Java with effects
GM Bierman, MJ Parkinson, AM Pitts
University of Cambridge, Computer Laboratory, 2003
1712003
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
Contemporary Mathematics 92, 137-199, 1989
1501989
A co-induction principle for recursively defined domains
AM Pitts
Theoretical Computer Science 124 (2), 195-219, 1994
1231994
Axioms for modelling cubical type theory in a topos
I Orton, AM Pitts
arXiv preprint arXiv:1712.04864, 2017
1222017
Operational semantics and program equivalence
AM Pitts
International Summer School on Applied Semantics, 378-412, 2000
1202000
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20