A Note on the Relation Between Polynomial Time Functionals and Constable's Class K.

Peter Clote A Note on the Relation Between Polynomial Time Functionals and Constable's Class K. 145-160 1995 conf/csl/1995 CSL db/conf/csl/csl95.html#Clote95 http://dx.doi.org/10.1007/3-540-61377-3_36