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
Barendregt H., Longo G. [1983] Recursion theoretic operators and morphisms on numbered sets Fund. Math., 119, № 1, 49-62 84.08.49 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Longo G. [1987] From numbered sets to type theories Rend. Sem . mat. Univ. politechn., Torino,fasc. spec., 41-73 89.07.74 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Longo G., Moggi E. [1984] Gödel numberings, principal morphisms, combinatory algebras Lect. Notes in Comp. Sci., 176, 397-406, Springer -Verlag 85.04.72 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Longo G., Moggi E. [1984] The hereditary partial effective functionals and recursion theory in higter types J. Symbolic Logic, 49, № 4, 1319-1332 85.09.35 O 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.... G. Lakins T. Lambert W. M. Landweber L.H. Langford G. Läuchli H. Lavrov I.A. Lebeuf R. Leeds S. Leggett A. Leivant D. Lempp S. LeonardJ Leonhardi S.D. Lerman M. LewisA LewisFD LewisHR LewisPM LiAngs LiXiang Lipton R.J. Liu S.C. Loh Chang-wan LongTJ Longo G. Longpre L. Louveau A. Lowenthal F. Lu Hong Lubarsky R.S. Luckham D. Lynch N.A. Lyndon R.C. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.