Murdoch James Gabbay

Formal Aspects of Computing · 2002–2006

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

Whom Murdoch James Gabbay trusts overall

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

  1. Andrew M. Pitts
  2. Marcelo P. Fiore
  3. Gordon D. Plotkin

Who trusts Murdoch James Gabbay overall

  1. Andrew M. Pitts
  2. Ian David Bede Stark
  3. Christian Urban
  4. Luís Caires
  5. J. Cheney
  6. Luca Cardelli
  7. Marcelo P. Fiore
  8. Bob Coecke

Papers from Murdoch James Gabbay's perspective

Ordered by how strongly the researchers Murdoch James Gabbay 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. Abstract syntax and variable binding
  3. Nominal Logic: A First Order Theory of Names and Binding (Theoretical Aspects of Computer Software)
  4. A spatial logic for concurrency (part I) (Information and Computation)
  5. Limits of small functors
  6. A 2-Categories Companion
  7. Pseudo-commutative monads and pseudo-closed 2-categories
  8. A Note on Actions of a Monoidal Category (Theory and Applications of Categories)
  9. ∞-Categories for the Working Mathematician
  10. A framework for typed HOAS and semantics

Their papers