This page shows all presentations of this author published in EasyChair Smart Slide.
Propositional Dynamic Logic for Higher-Order Functional Programs
Yuki Satake and Hiroshi Unno