Implicit Computational Complexity for Higher Type Functionals.

Daniel Leivant

Browse the full CSL paper archive.