Propositional Dynamic Logic for Higher-Order Functional Programs.

Yuki Satake, Hiroshi Unno

Browse the full CAV paper archive.