Login / Signup

Polynomial Time and Dependent Types.

Robert Atkey
Published in: CoRR (2023)
Keyphrases
  • special case
  • metadata
  • approximation algorithms
  • information systems
  • information technology