A note on non-extensional operations in connection with continuity and recursiveness - Troelstra, Anne S. 1939-2019 (Report / University of Amsterdam, Department of Mathematics, 1977)