ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Coalgebras as Types Determined by Their Elimination Rules
Epistemology versus Ontology
◽
10.1007/978-94-007-4435-6_16
◽
2012
◽
pp. 351-369
◽
Cited By ~ 5
Author(s):
Anton Setzer
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close
Coalgebras as Types Determined by Their Elimination Rules
