@dblp

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

, and . ESOP, volume 10201 of Lecture Notes in Computer Science, page 668-695. Springer, (2017)

Links and resources

Tags