Koko Muroya

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Coalgebraic CTL: fixpoint characterization and polynomial-time model checking	2025-01-20	Paper
Preorder-constrained simulations for program refinement with effects	2025-01-20	Paper
Explicit Hopcroft's trick in categorical partition refinement	2025-01-20	Paper
scientific article; zbMATH DE number 7774247 (Why is no real title available?)	2023-12-08	Paper
The Geometry of Computation-Graph Abstraction Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science	2021-01-20	Paper
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter (available as arXiv preprint)	2020-05-26	Paper
The dynamic geometry of interaction machine: a token-guided graph rewriter (available as arXiv preprint)	2019-11-26	Paper
A functional perspective on machine learning via programmable induction and abduction	2018-07-09	Paper
Memoryful geometry of interaction: from coalgebraic components to algebraic effects Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)	2018-04-23	Paper
Memoryful geometry of interaction. II: Recursion and adequacy Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2016-10-24	Paper

Research outcomes over time

This page was built for person: Koko Muroya