Corina Cirstea
Identifiers
No identifiers captured yet.
Papers (2)
- Presenting Neural Networks via Coherent Functors math.CT · 2026 · author #3
- Lattice-Theoretic Progress Measures and Coalgebraic Model Checking (with Appendices) cs.LO · 2015 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Ichiro Hasuo 1 shared papers
- Jo Grundy 1 shared papers
- Matthew Pugh 1 shared papers
- Nick Harris 1 shared papers
- Shunsuke Shimizu 1 shared papers