Quasi-Open Bisimilarity with Mismatch is Intuitionistic.

Ross Horne, Ki Yung Ahn, Shang-Wei Lin, Alwen Tiu

Browse the full LICS paper archive.