Proving Soundness of Extensional Normal-Form Bisimilarities
Authors: Dariusz Biernacki, Sergueï Lenglet, and Piotr Polesiuk
Published in: 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
Subject areas: Computer Science; Mathematics
SJR best quartile: Q2