Author:
Curien P.-L.,Obtułowicz A.
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference22 articles.
1. Categories of partial morphisms and the relations between type structures;Asperti,1985
2. Algèbres graphiques;Burroni;Cahiers Topologie Géom. Différentielle,1981
3. Bicategories of partial maps;Carboni,1985
4. The categorical abstract machine;Cousineau;Sci. Comput. Programming,1987
5. Categorical Combinators, Sequential Algorithms and Functional Programming;Curien,1986
Cited by
19 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. GADTs are not (Even partial) functors;Mathematical Structures in Computer Science;2024-08-27
2. Evidential Decision Theory via Partial Markov Categories;2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS);2023-06-26
3. Functorial semantics for partial theories;Proceedings of the ACM on Programming Languages;2021-01-04
4. Cartesian effect categories are Freyd-categories;Journal of Symbolic Computation;2011-03
5. Unitary Theories, Unitary Categories;Electronic Notes in Theoretical Computer Science;2010-09