@incollection{Berger99a, author = {Berger, U.}, title = {Continuous Functionals of Dependent and Transfinite Types}, booktitle = {Models and Computability}, series = {London Mathematical Society, Lecture Note Series}, editor = {Cooper, S.B. and Truss, J.K.}, volume = {259}, pages = {1--22}, year = {1999}}