Title: Proving Soundness of Extensional Normal-Form Bisimilarities
Authors: Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
Journal: Special issue of Logical Methods in Computer Science (LMCS): Selected papers of the 33rd Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIII)
Publication type: article
DOI: 10.23638/LMCS-15(1:31)2019