Jonas Forster
Identifiers
No identifiers captured yet.
Papers (1)
- Graded Monad Coalgebras for Continuous-Time Transition Systems cs.LO · 2026 · author #2
Mentions
No mention provenance yet.
Frequent Coauthors
- Elena Di Lavore 1 shared papers
- Mario Rom\'an 1 shared papers