Concepedia

Andrew M. Pitts

AM

47

Publications

3.5K

Citations

24

H-Index

1980

Active since

Affiliations

University of Cambridge(Current)

Bridge University

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

ORCID

Top concepts

Publications per year

1980–2022

47

Publications

47

A New Approach to Abstract Syntax with Variable Binding

Murdoch J. Gabbay, Andrew M. Pitts · Formal Aspects of Computing · 2002 · 544 citations · Full text

Nominal logic, a first order theory of names and binding

Andrew M. Pitts · Information and Computation · 2003 · 414 citations

, , +9

A new approach to abstract syntax involving binders

Murdoch J. Gabbay, Andrew M. Pitts · 2003 · 276 citations

, , +17

Nominal unification

Christian Urban, Andrew M. Pitts, Murdoch J. Gabbay · Theoretical Computer Science · 2004 · 201 citations

Relational Properties of Domains

Andrew M. Pitts · Information and Computation · 1996 · 189 citations

, , +4

Rows per page

1–5 of 47