Computability of continuous solutions of higher-type equations (2009)

by M H Escardó
Venue:CiE’09 Proceedings of the 5th Conference on Computability in Europe: Mathematical Theory and Computational Practice, volume 5635 of LNCS