Undecidability of Equality for Codata Types
Date first appeared online 20/09/2018
DOI 10.1007/978-3-030-00389-0_4
Authors Berger U., Setzer A.
Journal Name Coalgebraic Methods in Computer Science
Volume 11202

Documents