63 citations · 220 across the 18 of their papers we have counts for
1 paper · 2 filters
Akitoshi Kawamura, Arno Pauly
In the context of second-order polynomial-time computability, we prove that there is no general function space construction. We proceed to identify restrictions on the domain or th…