The Power of Non-determinism in Higher-Order Implicit Complexity - Characterising Complexity Classes Using Non-deterministic Cons-Free Programming.

Cynthia Kop, Jakob Grue Simonsen

Browse the full ESOP paper archive.