No Cover Image

Conference Paper/Proceeding/Abstract 1204 views 201 downloads

Undecidability of Equality for Codata Types

Ulrich Berger Orcid Logo, Anton Setzer Orcid Logo

Coalgebraic Methods in Computer Science, Volume: 11202, Pages: 34 - 55

Swansea University Authors: Ulrich Berger Orcid Logo, Anton Setzer Orcid Logo

Published in: Coalgebraic Methods in Computer Science
ISBN: 9783030003883 9783030003890
ISSN: 0302-9743 1611-3349
Published: Cham Springer International Publishing 2018
Online Access: Check full text

Tags: Add Tag
No Tags, Be the first to tag this record!
Keywords: Coalgebra; Weakly final coalgebras; Codata; Decidable type checking; Martin-Löf type theory; Intensional equality; Intensional type theory; Dependent type theory; Undecidability results; Inseparability; Pattern matching; Copattern matching
College: Faculty of Science and Engineering
Start Page: 34
End Page: 55