Book chapter 1144 views 192 downloads
Coalgebras as Types Determined by Their Elimination Rules
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 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
College: |
Faculty of Science and Engineering |
---|---|
Start Page: |
351 |
End Page: |
369 |