Dominique Devriese, Eric Mark Martin, Marco Patrignani. On the Semantic Expressiveness of Iso- and Equi-Recursive Types. Logical Methods in Computer Science, 20(4), October - December 2024. [doi]
No references recorded for this publication.
No citations of this publication recorded.