Cartesian effect categories are Freyd-categories-Reference-Cited by-同舟云学术

Cartesian effect categories are Freyd-categories

Published:2011-03 Issue:3 Volume:46 Page:272-293
ISSN:0747-7171
Container-title:Journal of Symbolic Computation
language:en
Short-container-title:Journal of Symbolic Computation

Author:

Dumas Jean-Guillaume,Duval Dominique,Reynaud Jean-Claude

Publisher

Elsevier BV

Subject

Computational Mathematics,Algebra and Number Theory

Reference17 articles.

1. Atkey, R., 2008. What is a categorical model of arrows? In: Mathematically Structured Functional Programming, MSFP’08.

2. Introduction to extensive and distributive categories;Carboni;Journal of Pure and Applied Algebra,1993

3. Partiality, cartesian closedness and toposes;Curien;Information and Computation,1989

4. Dumas, J.-G., Duval, D., Reynaud, J.-C., 2007. Sequential products in effect categories. URL http://arxiv.org/abs/0707.1432.

5. Duval, D., Reynaud, J.-C., 2005. Diagrammatic logic and exceptions: an introduction. In: Dagstuhl Seminar Proceedings - MAP05, Mathematics, Algorithms, Proofs. URL http://www.dagstuhl.de/05021/Materials/.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Promonads and String Diagrams for Effectful Categories;Electronic Proceedings in Theoretical Computer Science;2023-08-07

2. Logical Rules as Fractions and Logics as Sketches;Logica Universalis;2020-08-01

3. Relative Hilbert-Post Completeness for Exceptions;Mathematical Aspects of Computer and Information Sciences;2016

4. Deduction as Reduction, from a Categorical Point of View;Logica Universalis;2013-08-13

5. Decorated proofs for computational effects: States;Electronic Proceedings in Theoretical Computer Science;2012-08-21