No Cover Image

Book chapter 357 views 52 downloads

Coalgebras as Types Determined by Their Elimination Rules / Anton, Setzer

Epistemology versus Ontology, Pages: 351 - 369

Swansea University Author: Anton, Setzer

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

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: College of Science
Start Page: 351
End Page: 369