Conference Paper/Proceeding/Abstract 1732 views 297 downloads
Undecidability of Equality for Codata Types
Ulrich Berger,
Anton Setzer 
Coalgebraic Methods in Computer Science, Volume: 11202, Pages: 34 - 55
Swansea University Authors:
Ulrich Berger, Anton Setzer
-
PDF | Accepted Manuscript
Download (402.68KB)
DOI (Published version): 10.1007/978-3-030-00389-0_4
Abstract
Undecidability of Equality for Codata Types
| 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 |
| 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 |