Login / Signup
Maximilien Péroux
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Back End
Knowledge Representation
Data Types
Database Objects
Top Venues
CALCO
CoRR
</>
Publications
</>
Paige Randall North
,
Maximilien Péroux
Coinductive Control of Inductive Data Types.
CALCO
(2023)
Paige Randall North
,
Maximilien Péroux
Coinductive control of inductive data types.
CoRR
(2023)