Koko Muroya

From MaRDI portal
Person:1648873

Available identifiers

zbMath Open muroya.kokoMaRDI QIDQ1648873

List of research outcomes





PublicationDate of PublicationType
Coalgebraic CTL: fixpoint characterization and polynomial-time model checking2025-01-20Paper
Preorder-constrained simulations for program refinement with effects2025-01-20Paper
Explicit Hopcroft's trick in categorical partition refinement2025-01-20Paper
https://portal.mardi4nfdi.de/entity/Q60833562023-12-08Paper
The Geometry of Computation-Graph Abstraction2021-01-20Paper
The Dynamic Geometry of Interaction Machine: A Call-by-Need Graph Rewriter2020-05-26Paper
https://portal.mardi4nfdi.de/entity/Q49727382019-11-26Paper
A functional perspective on machine learning via programmable induction and abduction2018-07-09Paper
Memoryful geometry of interaction2018-04-23Paper
Memoryful geometry of interaction. II: Recursion and adequacy2016-10-24Paper

Research outcomes over time

This page was built for person: Koko Muroya

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1648873&oldid=6338230"
Powered by MediaWiki