Computation models and function algebras (1999)

by P Clote
Venue:In Handbook of Computability Theory