No Cover Image

Book chapter 973 views 159 downloads

Coalgebras as Types Determined by Their Elimination Rules

Anton Setzer Orcid Logo

Epistemology versus Ontology, Pages: 351 - 369

Swansea University Author: Anton Setzer Orcid Logo

DOI (Published version): 10.1007/978-94-007-4435-6_16

Published in: Epistemology versus Ontology
Published: 2012
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
College: Faculty of Science and Engineering
Start Page: 351
End Page: 369