Search results
News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Hyland J.M.E. [1979] Filter spaces and continuous functionals Ann. Math. Logic, 16, № 2, 101-143 80.01.54 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Gandy R.O., Hyland J.M.E. [1971] Computable and recursively countable functions of higher type Logic Coll.’69, North Holland, 407-438 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hyland J.M.E. [1978] The intrinsic recursion theory on the countable or continuous functionals General Recursion Theory, II, Proc. Symp. (Oslo, 1977),135-145 North Holland 79.07.76 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Longo G. [1979] Ricorsivita’ nei tipi superiori: un’introduzione alle caratterizzazioni di Erschov ed Hyland Rend. sem . mat. Univ. politechn., Torino, 37, № 3, 1-29 80.12.49 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Hilbert D. Hinman P.G. Hird G.R. Hirose K. Hirschfeldt D. R. Hirst J.L. Hjorth G. HoKe Hodes H. T. HodgesA HodgesW Hodgson B.R. Homer S. Hopcroff J.E. Hořejš J. Horowitz B.M. HowardWA Hrbacek K. Hu Shin hua Hughes C.E. Hugill D. Hummel T. Huwig H. Hyland J.M.E. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.