Book chapter 1223 views 203 downloads
Coalgebras as Types Determined by Their Elimination Rules
Anton Setzer 
Epistemology versus Ontology, Pages: 351 - 369
Swansea University Author:
Anton Setzer
-
PDF | Not Applicable (or Unknown)
Download (167.38KB)
DOI (Published version): 10.1007/978-94-007-4435-6_16
Abstract
Coalgebras as Types Determined by Their Elimination Rules
| Published in: | Epistemology versus Ontology |
|---|---|
| Published: |
2012
|
| Online Access: |
http://www.cs.swan.ac.uk/~csetzer/articles/setzerMartinLoefFestschrift.pdf |
| URI: | https://cronfa.swan.ac.uk/Record/cronfa19415 |
| College: |
Faculty of Science and Engineering |
|---|---|
| Start Page: |
351 |
| End Page: |
369 |