Andrew M. Pitts

Formal Aspects of Computing · 2001–2013

A researcher in the Science corpus: 3 papers; trusts 3 researchers and is trusted by 8 researchers here, as inferred from the citation graph.

Whom Andrew M. Pitts trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Murdoch James Gabbay
  2. Luís Caires
  3. Marcelo P. Fiore
  4. Luca Cardelli
  5. Gordon D. Plotkin

Who trusts Andrew M. Pitts overall

  1. Murdoch James Gabbay
  2. Christian Urban
  3. J. Cheney
  4. Luís Caires
  5. Ian David Bede Stark
  6. Luca Cardelli
  7. Andrzej S. Murawski

Papers from Andrew M. Pitts's perspective

Ordered by how strongly the researchers Andrew M. Pitts trusts endorse each paper. Same corpus, a different order for every researcher.

  1. A New Approach to Abstract Syntax with Variable Binding (Formal Aspects of Computing)
  2. Nominal Logic: A First Order Theory of Names and Binding (Theoretical Aspects of Computer Software)
  3. Abstract syntax and variable binding
  4. A spatial logic for concurrency (part I) (Information and Computation)
  5. Separation logic: a logic for shared mutable data structures
  6. Anytime, anywhere: modal logics for mobile ambients (ACM-SIGACT Symposium on Principles of Programming Languages)
  7. Communicating and Mobile Systems: the π-calculus,
  8. Limits of small functors
  9. A 2-Categories Companion
  10. Pseudo-commutative monads and pseudo-closed 2-categories

Their papers