Is this you? As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
Claim your profile
[Submitted on 29 Mar 2023 ( v1 ), last revised 20 Jul 2023 (this version, v2)] Title:Coinductive control of inductive data types Download a PDF of the paper titled Coinductive control of inductive data types, by Paige Randall North and Maximilien P\'eroux Download PDF Abstract: We combine the theory of inductive data types with the theory of universal measurings.
As a journalist, you can create a free Muck Rack account to customize your profile, list your contact preferences, and upload a portfolio of your best work.
