Comparing Hierarchies of Total Functionals (2005)

by D Normann
Venue:Logical Methods in Computer Science 1,2:4