bibliographer - John Power

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Category theory for operational semantics Marina Lenisa John Power Hiroshi Watanabe [github]

Fixpoint operators for domain equations John Power Giuseppe Rosolini [github]

Lax Logical Relations Gordon D. Plotkin John Power Donald Sannella Robert D. Tennent [github]

Computational Effects and Operations: An Overview Gordon Plotkin John Power [github]

The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads Martin Hyland John Power [github]

On weak higher dimensional categories I: Part 1 Claudio Hermida Michael Makkai John Power [github]

Modelling environments in call-by-value programming languages PaulBlain Levy John Power Hayo Thielecke [github]

Semantics for Algebraic Operations Gordon Plotkin John Power [github]

Premonoidal categories and notions of computation JOHN POWER EDMUND ROBINSON [github]

Algebraic Operations and Generic Effects Gordon Plotkin John Power [github]

Library Size: 13G (10 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]