Undecidability of Equality for Codata Types

Conference Paper/Proceeding/Abstract 221 views 2 downloads

Coalgebraic Methods in Computer Science, Volume: 11202

Swansesa University Authors: Ulrich, Berger, Anton, Setzer

DOI (Published version): 10.1007/978-3-030-00389-0_4

Published in:	Coalgebraic Methods in Computer Science
ISBN:	978-3-030-00388-3 978-3-030-00389-0
ISSN:	0302-9743 1611-3349
Published:	Thessaloniki, Greece CMCS'18 2018
Online Access:	Check full text
URI:	https://cronfa.swan.ac.uk/Record/cronfa38822
Tags:	Add Tag No Tags, Be the first to tag this record!

College:	College of Science
End Page:	55