Computation models and function algebras (1996)

by P Clote
Venue:Handbook of Recursion Theory