A coinductive completeness proof for the equivalence of recursive types (Q1607224)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A coinductive completeness proof for the equivalence of recursive types |
scientific article; zbMATH DE number 1774111
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A coinductive completeness proof for the equivalence of recursive types |
scientific article; zbMATH DE number 1774111 |
Statements
A coinductive completeness proof for the equivalence of recursive types (English)
0 references
31 July 2002
0 references
recursive types
0 references
coinduction
0 references
infinite trees
0 references
isomorphism of types
0 references
