Andrew M. Pitts - Concepedia

Author

Andrew M. Pitts

Also Known As

A Pitts, A. M. Pitts, A. Pitts, A.M. Pitts, ANDREW M. PITTS, Andrew M Pitts, Andrew M. Pitts, Andrew Pitts, Mori, Andres, P Curien

167

Publications

5.5K

Citations

H-Index

Concepts

All Affiliations

University of Cambridge Bridge University

About

Andrew M. Pitts is an author at University of Cambridge specializing in engineering, automated reasoning, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	18	22	1.5K
2	Computer Science	15	16	1K
3	Language Studies	13	13	1.4K
4	Natural Sciences	1	1	19
5	Cognitive Science	1	1	17

Andrew M. Pitts

Publications

3.5K

Citations

H-Index

Page 1

	Year	Citations
A New Approach to Abstract Syntax with Variable Binding Murdoch J. Gabbay, Andrew M. Pitts Formal Aspects of Computing	2002	544
Nominal logic, a first order theory of names and binding Andrew M. Pitts Information and Computation Formal SemanticsSyntaxAutomated ReasoningPhilosophy Of LogicNominal Logic	2003	414
A new approach to abstract syntax involving binders Murdoch J. Gabbay, Andrew M. Pitts EngineeringType TheoryWell-founded SemanticsHigher-order LogicSemantics	2003	276
Nominal unification Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay Theoretical Computer Science	2004	201
Relational Properties of Domains Andrew M. Pitts Information and Computation EngineeringDomain TheoryDomain CharacteristicAutomated ReasoningComputer Science	1996	189
FreshML Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay SyntaxEngineeringGeneric ProgrammingAutomated ReasoningProgram Analysis	2003	173
Parametric polymorphism and operational equivalence Andrew M. Pitts Mathematical Structures in Computer Science EngineeringParameterized ComplexityRelational ParametricityType TheoryPolymorphism (Computer Science)	2000	168
On an interpretation of second order quantification in first order intuitionistic propositional logic Andrew M. Pitts Journal of Symbolic Logic Intuitionistic LogicEngineeringConstructive LogicClassical LogicHeyting Algebras	1992	161
INTRODUCTION TO HIGHER ORDER CATEGORICAL LOGIC (Cambridge Studies in Advanced Mathematics 7) Andrew M. Pitts Bulletin of the London Mathematical Society Cambridge StudiesAutomated ReasoningAdvanced Mathematics 7Cambridge University PressScience And Technology Studies	1987	142
MJ: An imperative core calculus for Java and Java with effects Gavin Bierman, Matthew Parkinson, Andrew M. Pitts Clinical Rheumatology	2021	108

Page 1