76 citations · 440 across the 53 of their papers we have counts for
1 paper · 1 filter
Bjørn Kjos-Hanssen
This thesis addresses Pour-El and Richards' fourth question from their book "Computability in analysis and physics", concerning the relation between higher order recursion theory a…