No Cover Image

Conference Paper/Proceeding/Abstract 558 views 111 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

URI: https://cronfa.swan.ac.uk/Record/cronfa38822
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
Start Page: 34
End Page: 55