Author:
Møgelberg Rasmus,Staton Sam
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Q# as a Quantum Algorithmic Language;Electronic Proceedings in Theoretical Computer Science;2023-11-16
2. Promonads and String Diagrams for Effectful Categories;Electronic Proceedings in Theoretical Computer Science;2023-08-07
3. Stream processors and comodels;Logical Methods in Computer Science;2023-01-12
4. Sweedler Theory of Monads;Lecture Notes in Computer Science;2022
5. The costructure–cosemantics adjunction for comodels for computational effects;Mathematical Structures in Computer Science;2021-12-06