Final Dialgebras: From Categories to Allegories
Work
Year: 1999
Type: article
Abstract: The study of inductive and coinductive types (like finite lists and streams, respectively) is usually conducted within the framework of category theory, which to all intents and purposes is a theory o... more
Authors Roland Backhouse, Paul Hoogendijk
Institutions University of Nottingham, Philips (Netherlands)
Cites: 20
Cited by: 9
Related to: 10
FWCI: 0.403
Citation percentile (by year/subfield): 71.23
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: green