Modal μ-Calculus for Free in Agda
Ivan Todorov, Casper Bach Poulsen
Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review
83
Downloads
(Pure)