James Chapman

with Altenkirch · 2010

A researcher in the Science corpus: 1 paper; trusts 2 researchers and is trusted by 0 researchers here, as inferred from the citation graph.

Whom James Chapman trusts overall

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

  1. John Hughes
  2. Benedikt Ahrens
  3. Thorsten Altenkirch

Papers from James Chapman's perspective

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

  1. Generalising monads to arrows (Science of Computer Programming)
  2. Abstract syntax and variable binding
  3. A categorical semantics of quantum protocols (Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004.)
  4. Dependently typed programming in Agda (ACM SIGPLAN International Workshop on Types In Languages Design And Implementation)
  5. Skew monoidales, skew warpings and quantum categories (Theory and Applications of Categories)
  6. Skew-monoidal categories and bialgebroids
  7. Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) (QPL)
  8. Initiality for Typed Syntax and Semantics
  9. Monadic Presentations of Lambda Terms Using Generalized Inductive Types
  10. Monads with arities and their associated theories

Their papers