Coalgebras as Types Determined by Their Elimination Rules
| Date first appeared online | 07/06/2012 |
| DOI | 10.1007/978-94-007-4435-6_16 |
| Authors | Setzer A. |
| Journal Name | Epistemology versus Ontology |
| Volume |
| Date first appeared online | 07/06/2012 |
| DOI | 10.1007/978-94-007-4435-6_16 |
| Authors | Setzer A. |
| Journal Name | Epistemology versus Ontology |
| Volume |