scientific article

zbMath1273.18019MaRDI QIDQ2851324

Chris Heunen, Bart Jacobs

Publication date: 10 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066106001666

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Functor categories, comma categories (18A25)

Related Items (6)

Monad transformers as monoid transformers ⋮ Compositional Game Theory, Compositionally ⋮ Promonads and String Diagrams for Effectful Categories ⋮ Cartesian effect categories are Freyd-categories ⋮ What is a Categorical Model of Arrows? ⋮ Comonadic Notions of Computation

This page was built for publication: