John Power

Foundations of Software Science and Computation Structure · 2000–2003

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

Whom John Power trusts overall

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

1. Gordon D. Plotkin

Who trusts John Power overall

1. Ian David Bede Stark
2. Gordon D. Plotkin
3. Bertrand J. Guillou
4. Matija Pretnar
5. Jon P. May
6. Ohad Kammar

Papers from John Power's perspective

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

1. BASIC CONCEPTS OF ENRICHED CATEGORY THEORY (Elements of ∞-Category Theory)
2. Notions of Computation Determine Monads (Foundations of Software Science and Computation Structure)
3. Categories for the Working Mathematician
4. The formal theory of monads II
5. A structural approach to operational semantics (J. Log. Algebraic Methods Program.)
6. Algebraic Operations and Generic Effects (Applied Categorical Structures)
7. The monoidal Eilenberg–Moore construction and bialgebroids
8. Distributive laws and factorization
9. Monads on tensor categories
10. Codescent objects and coherence

Their papers

• Notions of Computation Determine Monads (2002) — 360 citations
• Algebraic Operations and Generic Effects (2003) — 322 citations
• Pseudo-commutative monads and pseudo-closed 2-categories (2002) — 68 citations
• On weak higher dimensional categories I: Part 1 ( (2000) — 66 citations