Coinductive control of inductive data types

Paige Randall North, Maximilien Péroux

Research output: Working paper › Preprint › Academic

Fingerprint

Dive into the research topics of 'Coinductive control of inductive data types'. Together they form a unique fingerprint.

Keyphrases

Mathematics