Remarks on isomorphisms of simple inductive types (Q4924549)
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: Remarks on isomorphisms of simple inductive types |
scientific article; zbMATH DE number 6171463
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Remarks on isomorphisms of simple inductive types |
scientific article; zbMATH DE number 6171463 |
Statements
Remarks on Isomorphisms of Simple Inductive Types (English)
0 references
6 June 2013
0 references
0 references
0.894406795501709
0 references
0.7777734398841858
0 references
0.7759988307952881
0 references
0.7727976441383362
0 references
0.7706812024116516
0 references
