This page shows all presentations of this author published in EasyChair Smart Slide.
Quasi-Open Bisimilarity with Mismatch is Intuitionistic
Ross Horne, Ki Yung Ahn, Shang-Wei Lin and Alwen Tiu