On the Relationship between Dijkstra Monads and Higher-Order Fixpoint Logic.

Risa Yamada, Naoki Kobayashi, Ken Sakayori, Ryosuke Sato

Browse the full ESOP paper archive.