On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic. - Risa Yamada; Naoki Kobayashi 001; Ken Sakayori; Ryosuke Sato 001 (ESOP (2), 2025)

On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic. - Risa Yamada; Naoki Kobayashi 001; Ken Sakayori; Ryosuke Sato 001 (Zenodo, 2025)