Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Statman's Hierarchy Theorem. | 0 | 0.34 | 2017 |
| Quantum Programs as Kleisli Maps | 0 | 0.34 | 2016 |
| An Effect-Theoretic Account of Lebesgue Integration | 1 | 0.35 | 2015 |
| States of Convex Sets. | 11 | 0.88 | 2015 |
| Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions. | 0 | 0.34 | 2014 |