Pseudo-distributive laws and axiomatics for variable binding

Computational lambda-calculus and monads

Eugenio Moggi · 2003 · 858 citations

Computing, Computer Science, Algebra +13

Abstract syntax and variable binding

Marcelo Fiore, Gordon Plotkin, Daniele Turi · 2003 · 359 citations · Full text

Language Studies, Computer Science, Algebra +9

Two-dimensional monad theory

Robert Blackwell, G. M. Kelly, John Power · Journal of Pure and Applied Algebra · 1989 · 293 citations

A new approach to abstract syntax involving binders

Murdoch J. Gabbay, Andrew M. Pitts · 2003 · 279 citations

Computing, Computer Science, Algebra +15

Algebraic Operations and Generic Effects

Gordon Plotkin, John Power · Applied Categorical Structures · 2003 · 257 citations

Natural Sciences, Mathematics, Algebra +8