@inproceedings{LICS18, author = {Ross Horne and Ki Yung Ahn and Shang-wei Lin and Alwen Tiu}, title = {Quasi-Open Bisimilarity with Mismatch is Intuitionistic}, booktitle = {In Proceedings of LICS '18: 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, Oxford, United Kingdom, July 9-12, 2018 (LICS '18)}, year = {2018}, pages = {26-35}, url = {https://satoss.uni.lu/members/ross/pdf/lics18.pdf}, doi = {10.1145/3209108.3209125} }