Informatik-Logo
Fakultät für Informatik - Technische Universität München

Lehrstuhl für Effiziente Algorithmen

 TUM-Logo

Die bibliographische Datenbank LEABib

Suchen • Liste der Journale • Liste der Serien • Liste der Konferenzen • Ausgewählte Publikationen Ausgewählte Publikationen [1] Hilfe Hilfe
 
Suche: Author="Reynaud, Jean-Claude"
Als [bib] [pdf] [ps] [dvi] [xml]  herunterladen.

Cartesian effect categories are Freyd-categories Publikation auswählen
Jean-Guillaume Dumas, Dominique Duval, Jean-Claude Reynaud

Journal Symbolic Computation 46 (3), 2011, pp. 272-293

Editors  Hoon Hong
Publisher:  Elsevier
Address:  Amsterdam-Boston-London-New York-Oxford-Paris-Philadelphia-San Diego-St. Louis
 
Keywords:   categorical logic, computational effects, monads, freyd-categories, premonoidal categories, arrows, sequential product, effect categories, cartesian effect categories
 
URL:   http://www.sciencedirect.com/science/article/pii/S0747717110001677