Login / Signup
Polynomial Time and Dependent Types.
Robert Atkey
Published in:
CoRR (2023)
Keyphrases
</>
special case
metadata
approximation algorithms
information systems
information technology