Applications of the Kleene–Kreisel density theorem to theoretical computer science (2007)

by D Normann
Venue:In B. Cooper S.B., Lo ¨we and Sorbi A., editors, New Computational Paradigms