Andrew M Pitts

Andrew M Pitts

University of Cambridge - Cambridge / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1344425
person_outline Andrew M Pitts's MOST POPULAR ARTICLES
1-) Nominal logic, a first order theory of names and binding Information and computation 186 (2), 165-193, 2003
2-) Nominal sets: Names and symmetry in computer science Cambridge University Press, 2013
3-) Nominal unification Theoretical Computer Science 323 (1-3), 473-497, 2004
4-) Operational reasoning for Functions with Local State Higher order operational techniques in semantics, 227, 1998
5-) Observable properties of higher order functions that dynamically create local names, or: What's new? International Symposium on Mathematical Foundations of Computer Science, 122-141, 1993