Skip to main navigation
Skip to search
Skip to main content
Utrecht University Home
Help & FAQ
Link opens in a new tab
Search content at Utrecht University
Home
People
Research units
Research output
Activities
In the media
Prizes & Grants
Coinductive control of inductive data types
Paige Randall North
, Maximilien Péroux
Sub Software Technology
Sub Fundamental Mathematics
Research output
:
Working paper
›
Preprint
›
Academic
Overview
Fingerprint
Fingerprint
Dive into the research topics of 'Coinductive control of inductive data types'. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Keyphrases
Endofunctor
100%
Algebra Homomorphism
100%
Coalgebra
100%
Category Algebra
100%
Inductive Data Types
100%
Enriched Category
50%
Partial Algebra
50%
Initial Algebra
50%
Mathematics
Homomorphism
100%
File Format
100%