The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming

Cynthia Louisa Martina Kop*, Jakob Grue Simonsen

*Corresponding author for this work
3 Citations (Scopus)

Fingerprint

Dive into the research topics of 'The power of non-determinism in higher-order implicit complexity: characterising complexity classes using non-deterministic cons-free programming'. Together they form a unique fingerprint.

Keyphrases

Computer Science