Longo, Giuseppe Ricorsivita nei tipi superiori: un’introduzione alle caratterizzazioni di Ershov ed Hyland. (Italian) Zbl 0437.03024 Rend. Sem. Mat., Torino 37, No. 3, 1-29 (1979). MSC: 03D65 03B40 03-02 PDFBibTeX XMLCite \textit{G. Longo}, Rend. Semin. Mat., Torino 37, No. 3, 1--29 (1979; Zbl 0437.03024)
Frič, Roman; Koutník, Václav Sequentially complete spaces. (English) Zbl 0401.54020 Czech. Math. J. 29(104), 287-297 (1979). MSC: 54D55 54G10 54A20 54C08 54C20 PDFBibTeX XMLCite \textit{R. Frič} and \textit{V. Koutník}, Czech. Math. J. 29(104), 287--297 (1979; Zbl 0401.54020) Full Text: EuDML