L
Identifieur interne : 001A27 ( Istex/Checkpoint ); précédent : 001A26; suivant : 001A28L
Auteurs : H. P. Barendregt ; I. V. Dolgachev ; G. Rozenberg ; A. Salomaa ; A. P. Soldatov ; A. F. Leont V ; V. F. Emel Anov ; I. P. Egorov ; N. Kh. Rozov ; V. V. Rumyantsev ; I. B. Vapnyarski ; L. D. Kudryavtsev ; M. K. Samarin ; I. V. Proskuryakov ; V. M. Millionshchikov ; N. N. Vil Ams ; S. A. Stepanov ; S. M. Voronin ; I. V. Volovich ; D. V. Anosov ; D. D. Sokolov ; P. K. Suetin ; Yu. A. Brychkov ; A. P. Prudnikov ; A. B. Ivanov ; M. I. Vo Tsekhovski ; V. I. Bityutskov ; V. A. Chuyanov ; G. V. Kuz Ina ; H. Maassen ; E. D. Solomentsev ; E. V. Shikin ; A. V. Prokhorov ; E. G. D Akonov ; M. V. Fedoryuk ; M. A. Shubin ; V. T. Bazylev ; N. S. Zhavrid ; V. V. Okhrimenko ; Yu. M. Davydov ; B. M. Bredikhin ; V. V. Parail ; V. I. Danilov ; V. M. Mikheev ; L. A. Skornyakov ; N. G. Ushakov ; V. M. Kopytov ; T. S. Fofanova ; V. A. Zorich ; V. L. Popov ; Yu. V. Prohorov ; V. E. Plisko ; V. V. Petrov ; V. I. Nechaev ; A. A. Bukhshtab ; M. S. Nikulin ; L. N. Bol Hev ; K. I. Oskolkov ; B. I. Golubov ; V. V. Sazonov ; P. S. Aleksandrov ; B. S. Kashin ; I. A. Vinogradova ; B. A. Pasynkov ; I. I. Volkov ; T. P. Lukashenko ; P. M. Gruber ; Yu. B. Rudyak ; V. A. Iskovskikh ; Yu. V. Nesterenko ; V. M. Tikhomirov ; I. P. Mityuk ; A. V. Chernavski ; D. A. Ponomarev ; E. G. Goluzina ; Ü. Lumiste ; A. I. Shtern ; A. L. Onishchik ; B. A. Rogozin ; I. V. Ostrovski ; V. M. Zolotarev ; H. C. Myung ; Yu. A. Bakhturin ; E. B. Vinberg ; A. A. Kirillov ; V. V. Gorbatsevich ; D. V. Alekseevski ; V. P. Platonov ; A. I. Kostrikin ; A. S. Fedenko ; B. R. Va Nberg ; L. A. Cherkas ; Yu. V. Prokhorov ; A. I. Galochkin ; A. S. Parkhomenko ; V. V. Voevodin ; A. F. Shapkin ; S. G. Kre N ; V. P. Palamodov ; S. A. A Vazyan ; A. Ya. Khelemski ; A. M. Nakhushev ; O. A. Ivanova ; S. N. Chernikov ; N. N. Ladis ; V. G. Karmanov ; V. A. Yakubovich ; V. I. Arnautov ; Yu. A. Rozanov ; A. V. Malyshev ; I. A. Kvasnikov ; A. F. Lavrik ; S. V. Kotov ; I. Kh. Sabitov ; A. V. Efimov ; A. P. Ershov ; M. Sh. Farber ; B. L. Laptev ; Kh. D. Ikramov ; L. A. Sidorov ; I. P. Mysovskikh ; N. P. Korene Chuk ; V. P. Motorny ; A. A. Mal Sev ; E. G. Sklyarenko ; L. V. Kuz In ; P. T. Johnstone ; A. A. Dezin ; M. Sh. Tsalenko ; A. I. Untern ; V. N. Latyshev ; A. V. Arkhangel Ki ; A. L. Shmel In ; L. N. Shevrin ; S. A. Bogaty ; S. Yu. Maslov ; G. E. Mints ; A. I. Orlov ; V. D. Belousov ; A. F. Kharshiladze ; V. Ya. Gutlyanski ; E. M. Semenov ; A. A. Konyushkov ; B. A. Efimov ; R. Z. Khas Inski ; N. M. Nagorny ; V. V. Fedorchuk ; B. V. KhvedelidzeSource :
Abstract
Abstract: The lambda calculus was introduced in 1932 – 1933 by A. Church [A3] as part of a theory intended as a foundation for mathematics. This foundational theory consisted of a part dealing with logical symbols and rules and a part dealing with algorithms operating on these symbols. After it was shown by S.C. Kleene and J.B. Rosser [A7] that this foundational system was inconsistent, the part dealing with algorithms only was isolated as the (type-free) lambda calculus. It turned out to be quite successful in capturing the intuitive notion of computable function. Kleene [A6] showed that exactly the recursive functions (cf. Recursive function) are lambda definable in the sense given below. Then A.M. Turing [A10] introduced his machines (cf. Turing machine) and showed that Turing computable and lambda definable are equivalent notions. These are arguments for the Church—Turing thesis that the intuitive notion of computable is correctly formalised as lambda definable, Turing computable or recursive (cf. also Church thesis). Although many programming languages are based on the computational model of Turing (imperative programming), presently the model of Church enjoys a lot of attention in the form of functional programming.
Url:
DOI: 10.1007/978-1-4899-3793-3_5
Affiliations:
Links toward previous steps (curation, corpus...)
Links to Exploration step
ISTEX:531030899AF5495A6F5F73EE07D1B6C37A176FD4Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">L</title><author><name sortKey="Barendregt, H P" sort="Barendregt, H P" uniqKey="Barendregt H" first="H. P." last="Barendregt">H. P. Barendregt</name></author><author><name sortKey="Dolgachev, I V" sort="Dolgachev, I V" uniqKey="Dolgachev I" first="I. V." last="Dolgachev">I. V. Dolgachev</name></author><author><name sortKey="Rozenberg, G" sort="Rozenberg, G" uniqKey="Rozenberg G" first="G." last="Rozenberg">G. Rozenberg</name></author><author><name sortKey="Salomaa, A" sort="Salomaa, A" uniqKey="Salomaa A" first="A." last="Salomaa">A. Salomaa</name></author><author><name sortKey="Soldatov, A P" sort="Soldatov, A P" uniqKey="Soldatov A" first="A. P." last="Soldatov">A. P. Soldatov</name></author><author><name sortKey="Leont V, A F" sort="Leont V, A F" uniqKey="Leont V A" first="A. F." last="Leont V">A. F. Leont V</name></author><author><name sortKey="Emel Anov, V F" sort="Emel Anov, V F" uniqKey="Emel Anov V" first="V. F." last="Emel Anov">V. F. Emel Anov</name></author><author><name sortKey="Egorov, I P" sort="Egorov, I P" uniqKey="Egorov I" first="I. P." last="Egorov">I. P. Egorov</name></author><author><name sortKey="Rozov, N Kh" sort="Rozov, N Kh" uniqKey="Rozov N" first="N. Kh." last="Rozov">N. Kh. Rozov</name></author><author><name sortKey="Rumyantsev, V V" sort="Rumyantsev, V V" uniqKey="Rumyantsev V" first="V. V." last="Rumyantsev">V. V. Rumyantsev</name></author><author><name sortKey="Vapnyarski, I B" sort="Vapnyarski, I B" uniqKey="Vapnyarski I" first="I. B." last="Vapnyarski">I. B. Vapnyarski</name></author><author><name sortKey="Kudryavtsev, L D" sort="Kudryavtsev, L D" uniqKey="Kudryavtsev L" first="L. D." last="Kudryavtsev">L. D. Kudryavtsev</name></author><author><name sortKey="Samarin, M K" sort="Samarin, M K" uniqKey="Samarin M" first="M. K." last="Samarin">M. K. Samarin</name></author><author><name sortKey="Proskuryakov, I V" sort="Proskuryakov, I V" uniqKey="Proskuryakov I" first="I. V." last="Proskuryakov">I. V. Proskuryakov</name></author><author><name sortKey="Millionshchikov, V M" sort="Millionshchikov, V M" uniqKey="Millionshchikov V" first="V. M." last="Millionshchikov">V. M. Millionshchikov</name></author><author><name sortKey="Vil Ams, N N" sort="Vil Ams, N N" uniqKey="Vil Ams N" first="N. N." last="Vil Ams">N. N. Vil Ams</name></author><author><name sortKey="Stepanov, S A" sort="Stepanov, S A" uniqKey="Stepanov S" first="S. A." last="Stepanov">S. A. Stepanov</name></author><author><name sortKey="Voronin, S M" sort="Voronin, S M" uniqKey="Voronin S" first="S. M." last="Voronin">S. M. Voronin</name></author><author><name sortKey="Volovich, I V" sort="Volovich, I V" uniqKey="Volovich I" first="I. V." last="Volovich">I. V. Volovich</name></author><author><name sortKey="Anosov, D V" sort="Anosov, D V" uniqKey="Anosov D" first="D. V." last="Anosov">D. V. Anosov</name></author><author><name sortKey="Sokolov, D D" sort="Sokolov, D D" uniqKey="Sokolov D" first="D. D." last="Sokolov">D. D. Sokolov</name></author><author><name sortKey="Suetin, P K" sort="Suetin, P K" uniqKey="Suetin P" first="P. K." last="Suetin">P. K. Suetin</name></author><author><name sortKey="Brychkov, Yu A" sort="Brychkov, Yu A" uniqKey="Brychkov Y" first="Yu. A." last="Brychkov">Yu. A. Brychkov</name></author><author><name sortKey="Prudnikov, A P" sort="Prudnikov, A P" uniqKey="Prudnikov A" first="A. P." last="Prudnikov">A. P. Prudnikov</name></author><author><name sortKey="Ivanov, A B" sort="Ivanov, A B" uniqKey="Ivanov A" first="A. B." last="Ivanov">A. B. Ivanov</name></author><author><name sortKey="Vo Tsekhovski, M I" sort="Vo Tsekhovski, M I" uniqKey="Vo Tsekhovski M" first="M. I." last="Vo Tsekhovski">M. I. Vo Tsekhovski</name></author><author><name sortKey="Bityutskov, V I" sort="Bityutskov, V I" uniqKey="Bityutskov V" first="V. I." last="Bityutskov">V. I. Bityutskov</name></author><author><name sortKey="Chuyanov, V A" sort="Chuyanov, V A" uniqKey="Chuyanov V" first="V. A." last="Chuyanov">V. A. Chuyanov</name></author><author><name sortKey="Kuz Ina, G V" sort="Kuz Ina, G V" uniqKey="Kuz Ina G" first="G. V." last="Kuz Ina">G. V. Kuz Ina</name></author><author><name sortKey="Maassen, H" sort="Maassen, H" uniqKey="Maassen H" first="H." last="Maassen">H. Maassen</name></author><author><name sortKey="Solomentsev, E D" sort="Solomentsev, E D" uniqKey="Solomentsev E" first="E. D." last="Solomentsev">E. D. Solomentsev</name></author><author><name sortKey="Shikin, E V" sort="Shikin, E V" uniqKey="Shikin E" first="E. V." last="Shikin">E. V. Shikin</name></author><author><name sortKey="Prokhorov, A V" sort="Prokhorov, A V" uniqKey="Prokhorov A" first="A. V." last="Prokhorov">A. V. Prokhorov</name></author><author><name sortKey="D Akonov, E G" sort="D Akonov, E G" uniqKey="D Akonov E" first="E. G." last="D Akonov">E. G. D Akonov</name></author><author><name sortKey="Fedoryuk, M V" sort="Fedoryuk, M V" uniqKey="Fedoryuk M" first="M. V." last="Fedoryuk">M. V. Fedoryuk</name></author><author><name sortKey="Shubin, M A" sort="Shubin, M A" uniqKey="Shubin M" first="M. A." last="Shubin">M. A. Shubin</name></author><author><name sortKey="Bazylev, V T" sort="Bazylev, V T" uniqKey="Bazylev V" first="V. T." last="Bazylev">V. T. Bazylev</name></author><author><name sortKey="Zhavrid, N S" sort="Zhavrid, N S" uniqKey="Zhavrid N" first="N. S." last="Zhavrid">N. S. Zhavrid</name></author><author><name sortKey="Okhrimenko, V V" sort="Okhrimenko, V V" uniqKey="Okhrimenko V" first="V. V." last="Okhrimenko">V. V. Okhrimenko</name></author><author><name sortKey="Davydov, Yu M" sort="Davydov, Yu M" uniqKey="Davydov Y" first="Yu. M." last="Davydov">Yu. M. Davydov</name></author><author><name sortKey="Bredikhin, B M" sort="Bredikhin, B M" uniqKey="Bredikhin B" first="B. M." last="Bredikhin">B. M. Bredikhin</name></author><author><name sortKey="Parail, V V" sort="Parail, V V" uniqKey="Parail V" first="V. V." last="Parail">V. V. Parail</name></author><author><name sortKey="Danilov, V I" sort="Danilov, V I" uniqKey="Danilov V" first="V. I." last="Danilov">V. I. Danilov</name></author><author><name sortKey="Mikheev, V M" sort="Mikheev, V M" uniqKey="Mikheev V" first="V. M." last="Mikheev">V. M. Mikheev</name></author><author><name sortKey="Skornyakov, L A" sort="Skornyakov, L A" uniqKey="Skornyakov L" first="L. A." last="Skornyakov">L. A. Skornyakov</name></author><author><name sortKey="Ushakov, N G" sort="Ushakov, N G" uniqKey="Ushakov N" first="N. G." last="Ushakov">N. G. Ushakov</name></author><author><name sortKey="Kopytov, V M" sort="Kopytov, V M" uniqKey="Kopytov V" first="V. M." last="Kopytov">V. M. Kopytov</name></author><author><name sortKey="Fofanova, T S" sort="Fofanova, T S" uniqKey="Fofanova T" first="T. S." last="Fofanova">T. S. Fofanova</name></author><author><name sortKey="Zorich, V A" sort="Zorich, V A" uniqKey="Zorich V" first="V. A." last="Zorich">V. A. Zorich</name></author><author><name sortKey="Popov, V L" sort="Popov, V L" uniqKey="Popov V" first="V. L." last="Popov">V. L. Popov</name></author><author><name sortKey="Prohorov, Yu V" sort="Prohorov, Yu V" uniqKey="Prohorov Y" first="Yu. V." last="Prohorov">Yu. V. Prohorov</name></author><author><name sortKey="Plisko, V E" sort="Plisko, V E" uniqKey="Plisko V" first="V. E." last="Plisko">V. E. Plisko</name></author><author><name sortKey="Petrov, V V" sort="Petrov, V V" uniqKey="Petrov V" first="V. V." last="Petrov">V. V. Petrov</name></author><author><name sortKey="Nechaev, V I" sort="Nechaev, V I" uniqKey="Nechaev V" first="V. I." last="Nechaev">V. I. Nechaev</name></author><author><name sortKey="Bukhshtab, A A" sort="Bukhshtab, A A" uniqKey="Bukhshtab A" first="A. A." last="Bukhshtab">A. A. Bukhshtab</name></author><author><name sortKey="Nikulin, M S" sort="Nikulin, M S" uniqKey="Nikulin M" first="M. S." last="Nikulin">M. S. Nikulin</name></author><author><name sortKey="Bol Hev, L N" sort="Bol Hev, L N" uniqKey="Bol Hev L" first="L. N." last="Bol Hev">L. N. Bol Hev</name></author><author><name sortKey="Oskolkov, K I" sort="Oskolkov, K I" uniqKey="Oskolkov K" first="K. I." last="Oskolkov">K. I. Oskolkov</name></author><author><name sortKey="Golubov, B I" sort="Golubov, B I" uniqKey="Golubov B" first="B. I." last="Golubov">B. I. Golubov</name></author><author><name sortKey="Sazonov, V V" sort="Sazonov, V V" uniqKey="Sazonov V" first="V. V." last="Sazonov">V. V. Sazonov</name></author><author><name sortKey="Aleksandrov, P S" sort="Aleksandrov, P S" uniqKey="Aleksandrov P" first="P. S." last="Aleksandrov">P. S. Aleksandrov</name></author><author><name sortKey="Kashin, B S" sort="Kashin, B S" uniqKey="Kashin B" first="B. S." last="Kashin">B. S. Kashin</name></author><author><name sortKey="Vinogradova, I A" sort="Vinogradova, I A" uniqKey="Vinogradova I" first="I. A." last="Vinogradova">I. A. Vinogradova</name></author><author><name sortKey="Pasynkov, B A" sort="Pasynkov, B A" uniqKey="Pasynkov B" first="B. A." last="Pasynkov">B. A. Pasynkov</name></author><author><name sortKey="Volkov, I I" sort="Volkov, I I" uniqKey="Volkov I" first="I. I." last="Volkov">I. I. Volkov</name></author><author><name sortKey="Lukashenko, T P" sort="Lukashenko, T P" uniqKey="Lukashenko T" first="T. P." last="Lukashenko">T. P. Lukashenko</name></author><author><name sortKey="Gruber, P M" sort="Gruber, P M" uniqKey="Gruber P" first="P. M." last="Gruber">P. M. Gruber</name></author><author><name sortKey="Rudyak, Yu B" sort="Rudyak, Yu B" uniqKey="Rudyak Y" first="Yu. B." last="Rudyak">Yu. B. Rudyak</name></author><author><name sortKey="Iskovskikh, V A" sort="Iskovskikh, V A" uniqKey="Iskovskikh V" first="V. A." last="Iskovskikh">V. A. Iskovskikh</name></author><author><name sortKey="Nesterenko, Yu V" sort="Nesterenko, Yu V" uniqKey="Nesterenko Y" first="Yu. V." last="Nesterenko">Yu. V. Nesterenko</name></author><author><name sortKey="Tikhomirov, V M" sort="Tikhomirov, V M" uniqKey="Tikhomirov V" first="V. M." last="Tikhomirov">V. M. Tikhomirov</name></author><author><name sortKey="Mityuk, I P" sort="Mityuk, I P" uniqKey="Mityuk I" first="I. P." last="Mityuk">I. P. Mityuk</name></author><author><name sortKey="Chernavski, A V" sort="Chernavski, A V" uniqKey="Chernavski A" first="A. V." last="Chernavski">A. V. Chernavski</name></author><author><name sortKey="Ponomarev, D A" sort="Ponomarev, D A" uniqKey="Ponomarev D" first="D. A." last="Ponomarev">D. A. Ponomarev</name></author><author><name sortKey="Goluzina, E G" sort="Goluzina, E G" uniqKey="Goluzina E" first="E. G." last="Goluzina">E. G. Goluzina</name></author><author><name sortKey="Lumiste, U" sort="Lumiste, U" uniqKey="Lumiste U" first="Ü." last="Lumiste">Ü. Lumiste</name></author><author><name sortKey="Shtern, A I" sort="Shtern, A I" uniqKey="Shtern A" first="A. I." last="Shtern">A. I. Shtern</name></author><author><name sortKey="Onishchik, A L" sort="Onishchik, A L" uniqKey="Onishchik A" first="A. L." last="Onishchik">A. L. Onishchik</name></author><author><name sortKey="Rogozin, B A" sort="Rogozin, B A" uniqKey="Rogozin B" first="B. A." last="Rogozin">B. A. Rogozin</name></author><author><name sortKey="Ostrovski, I V" sort="Ostrovski, I V" uniqKey="Ostrovski I" first="I. V." last="Ostrovski">I. V. Ostrovski</name></author><author><name sortKey="Zolotarev, V M" sort="Zolotarev, V M" uniqKey="Zolotarev V" first="V. M." last="Zolotarev">V. M. Zolotarev</name></author><author><name sortKey="Myung, H C" sort="Myung, H C" uniqKey="Myung H" first="H. C." last="Myung">H. C. Myung</name></author><author><name sortKey="Bakhturin, Yu A" sort="Bakhturin, Yu A" uniqKey="Bakhturin Y" first="Yu. A." last="Bakhturin">Yu. A. Bakhturin</name></author><author><name sortKey="Vinberg, E B" sort="Vinberg, E B" uniqKey="Vinberg E" first="E. B." last="Vinberg">E. B. Vinberg</name></author><author><name sortKey="Kirillov, A A" sort="Kirillov, A A" uniqKey="Kirillov A" first="A. A." last="Kirillov">A. A. Kirillov</name></author><author><name sortKey="Gorbatsevich, V V" sort="Gorbatsevich, V V" uniqKey="Gorbatsevich V" first="V. V." last="Gorbatsevich">V. V. Gorbatsevich</name></author><author><name sortKey="Alekseevski, D V" sort="Alekseevski, D V" uniqKey="Alekseevski D" first="D. V." last="Alekseevski">D. V. Alekseevski</name></author><author><name sortKey="Platonov, V P" sort="Platonov, V P" uniqKey="Platonov V" first="V. P." last="Platonov">V. P. Platonov</name></author><author><name sortKey="Kostrikin, A I" sort="Kostrikin, A I" uniqKey="Kostrikin A" first="A. I." last="Kostrikin">A. I. Kostrikin</name></author><author><name sortKey="Fedenko, A S" sort="Fedenko, A S" uniqKey="Fedenko A" first="A. S." last="Fedenko">A. S. Fedenko</name></author><author><name sortKey="Va Nberg, B R" sort="Va Nberg, B R" uniqKey="Va Nberg B" first="B. R." last="Va Nberg">B. R. Va Nberg</name></author><author><name sortKey="Cherkas, L A" sort="Cherkas, L A" uniqKey="Cherkas L" first="L. A." last="Cherkas">L. A. Cherkas</name></author><author><name sortKey="Prokhorov, Yu V" sort="Prokhorov, Yu V" uniqKey="Prokhorov Y" first="Yu. V." last="Prokhorov">Yu. V. Prokhorov</name></author><author><name sortKey="Galochkin, A I" sort="Galochkin, A I" uniqKey="Galochkin A" first="A. I." last="Galochkin">A. I. Galochkin</name></author><author><name sortKey="Parkhomenko, A S" sort="Parkhomenko, A S" uniqKey="Parkhomenko A" first="A. S." last="Parkhomenko">A. S. Parkhomenko</name></author><author><name sortKey="Voevodin, V V" sort="Voevodin, V V" uniqKey="Voevodin V" first="V. V." last="Voevodin">V. V. Voevodin</name></author><author><name sortKey="Shapkin, A F" sort="Shapkin, A F" uniqKey="Shapkin A" first="A. F." last="Shapkin">A. F. Shapkin</name></author><author><name sortKey="Kre N, S G" sort="Kre N, S G" uniqKey="Kre N S" first="S. G." last="Kre N">S. G. Kre N</name></author><author><name sortKey="Palamodov, V P" sort="Palamodov, V P" uniqKey="Palamodov V" first="V. P." last="Palamodov">V. P. Palamodov</name></author><author><name sortKey="A Vazyan, S A" sort="A Vazyan, S A" uniqKey="A Vazyan S" first="S. A." last="A Vazyan">S. A. A Vazyan</name></author><author><name sortKey="Khelemski, A Ya" sort="Khelemski, A Ya" uniqKey="Khelemski A" first="A. Ya." last="Khelemski">A. Ya. Khelemski</name></author><author><name sortKey="Nakhushev, A M" sort="Nakhushev, A M" uniqKey="Nakhushev A" first="A. M." last="Nakhushev">A. M. Nakhushev</name></author><author><name sortKey="Ivanova, O A" sort="Ivanova, O A" uniqKey="Ivanova O" first="O. A." last="Ivanova">O. A. Ivanova</name></author><author><name sortKey="Chernikov, S N" sort="Chernikov, S N" uniqKey="Chernikov S" first="S. N." last="Chernikov">S. N. Chernikov</name></author><author><name sortKey="Ladis, N N" sort="Ladis, N N" uniqKey="Ladis N" first="N. N." last="Ladis">N. N. Ladis</name></author><author><name sortKey="Karmanov, V G" sort="Karmanov, V G" uniqKey="Karmanov V" first="V. G." last="Karmanov">V. G. Karmanov</name></author><author><name sortKey="Yakubovich, V A" sort="Yakubovich, V A" uniqKey="Yakubovich V" first="V. A." last="Yakubovich">V. A. Yakubovich</name></author><author><name sortKey="Arnautov, V I" sort="Arnautov, V I" uniqKey="Arnautov V" first="V. I." last="Arnautov">V. I. Arnautov</name></author><author><name sortKey="Rozanov, Yu A" sort="Rozanov, Yu A" uniqKey="Rozanov Y" first="Yu. A." last="Rozanov">Yu. A. Rozanov</name></author><author><name sortKey="Malyshev, A V" sort="Malyshev, A V" uniqKey="Malyshev A" first="A. V." last="Malyshev">A. V. Malyshev</name></author><author><name sortKey="Kvasnikov, I A" sort="Kvasnikov, I A" uniqKey="Kvasnikov I" first="I. A." last="Kvasnikov">I. A. Kvasnikov</name></author><author><name sortKey="Lavrik, A F" sort="Lavrik, A F" uniqKey="Lavrik A" first="A. F." last="Lavrik">A. F. Lavrik</name></author><author><name sortKey="Kotov, S V" sort="Kotov, S V" uniqKey="Kotov S" first="S. V." last="Kotov">S. V. Kotov</name></author><author><name sortKey="Sabitov, I Kh" sort="Sabitov, I Kh" uniqKey="Sabitov I" first="I. Kh." last="Sabitov">I. Kh. Sabitov</name></author><author><name sortKey="Efimov, A V" sort="Efimov, A V" uniqKey="Efimov A" first="A. V." last="Efimov">A. V. Efimov</name></author><author><name sortKey="Ershov, A P" sort="Ershov, A P" uniqKey="Ershov A" first="A. P." last="Ershov">A. P. Ershov</name></author><author><name sortKey="Farber, M Sh" sort="Farber, M Sh" uniqKey="Farber M" first="M. Sh." last="Farber">M. Sh. Farber</name></author><author><name sortKey="Laptev, B L" sort="Laptev, B L" uniqKey="Laptev B" first="B. L." last="Laptev">B. L. Laptev</name></author><author><name sortKey="Ikramov, Kh D" sort="Ikramov, Kh D" uniqKey="Ikramov K" first="Kh. D." last="Ikramov">Kh. D. Ikramov</name></author><author><name sortKey="Sidorov, L A" sort="Sidorov, L A" uniqKey="Sidorov L" first="L. A." last="Sidorov">L. A. Sidorov</name></author><author><name sortKey="Mysovskikh, I P" sort="Mysovskikh, I P" uniqKey="Mysovskikh I" first="I. P." last="Mysovskikh">I. P. Mysovskikh</name></author><author><name sortKey="Korene Chuk, N P" sort="Korene Chuk, N P" uniqKey="Korene Chuk N" first="N. P." last="Korene Chuk">N. P. Korene Chuk</name></author><author><name sortKey="Motorny, V P" sort="Motorny, V P" uniqKey="Motorny V" first="V. P." last="Motorny">V. P. Motorny</name></author><author><name sortKey="Mal Sev, A A" sort="Mal Sev, A A" uniqKey="Mal Sev A" first="A. A." last="Mal Sev">A. A. Mal Sev</name></author><author><name sortKey="Sklyarenko, E G" sort="Sklyarenko, E G" uniqKey="Sklyarenko E" first="E. G." last="Sklyarenko">E. G. Sklyarenko</name></author><author><name sortKey="Kuz In, L V" sort="Kuz In, L V" uniqKey="Kuz In L" first="L. V." last="Kuz In">L. V. Kuz In</name></author><author><name sortKey="Johnstone, P T" sort="Johnstone, P T" uniqKey="Johnstone P" first="P. T." last="Johnstone">P. T. Johnstone</name></author><author><name sortKey="Dezin, A A" sort="Dezin, A A" uniqKey="Dezin A" first="A. A." last="Dezin">A. A. Dezin</name></author><author><name sortKey="Tsalenko, M Sh" sort="Tsalenko, M Sh" uniqKey="Tsalenko M" first="M. Sh." last="Tsalenko">M. Sh. Tsalenko</name></author><author><name sortKey="Untern, A I" sort="Untern, A I" uniqKey="Untern A" first="A. I." last="Untern">A. I. Untern</name></author><author><name sortKey="Latyshev, V N" sort="Latyshev, V N" uniqKey="Latyshev V" first="V. N." last="Latyshev">V. N. Latyshev</name></author><author><name sortKey="Arkhangel Ki, A V" sort="Arkhangel Ki, A V" uniqKey="Arkhangel Ki A" first="A. V." last="Arkhangel Ki">A. V. Arkhangel Ki</name></author><author><name sortKey="Shmel In, A L" sort="Shmel In, A L" uniqKey="Shmel In A" first="A. L." last="Shmel In">A. L. Shmel In</name></author><author><name sortKey="Shevrin, L N" sort="Shevrin, L N" uniqKey="Shevrin L" first="L. N." last="Shevrin">L. N. Shevrin</name></author><author><name sortKey="Bogaty, S A" sort="Bogaty, S A" uniqKey="Bogaty S" first="S. A." last="Bogaty">S. A. Bogaty</name></author><author><name sortKey="Maslov, S Yu" sort="Maslov, S Yu" uniqKey="Maslov S" first="S. Yu." last="Maslov">S. Yu. Maslov</name></author><author><name sortKey="Mints, G E" sort="Mints, G E" uniqKey="Mints G" first="G. E." last="Mints">G. E. Mints</name></author><author><name sortKey="Orlov, A I" sort="Orlov, A I" uniqKey="Orlov A" first="A. I." last="Orlov">A. I. Orlov</name></author><author><name sortKey="Belousov, V D" sort="Belousov, V D" uniqKey="Belousov V" first="V. D." last="Belousov">V. D. Belousov</name></author><author><name sortKey="Kharshiladze, A F" sort="Kharshiladze, A F" uniqKey="Kharshiladze A" first="A. F." last="Kharshiladze">A. F. Kharshiladze</name></author><author><name sortKey="Gutlyanski, V Ya" sort="Gutlyanski, V Ya" uniqKey="Gutlyanski V" first="V. Ya." last="Gutlyanski">V. Ya. Gutlyanski</name></author><author><name sortKey="Semenov, E M" sort="Semenov, E M" uniqKey="Semenov E" first="E. M." last="Semenov">E. M. Semenov</name></author><author><name sortKey="Konyushkov, A A" sort="Konyushkov, A A" uniqKey="Konyushkov A" first="A. A." last="Konyushkov">A. A. Konyushkov</name></author><author><name sortKey="Efimov, B A" sort="Efimov, B A" uniqKey="Efimov B" first="B. A." last="Efimov">B. A. Efimov</name></author><author><name sortKey="Khas Inski, R Z" sort="Khas Inski, R Z" uniqKey="Khas Inski R" first="R. Z." last="Khas Inski">R. Z. Khas Inski</name></author><author><name sortKey="Nagorny, N M" sort="Nagorny, N M" uniqKey="Nagorny N" first="N. M." last="Nagorny">N. M. Nagorny</name></author><author><name sortKey="Fedorchuk, V V" sort="Fedorchuk, V V" uniqKey="Fedorchuk V" first="V. V." last="Fedorchuk">V. V. Fedorchuk</name></author><author><name sortKey="Khvedelidze, B V" sort="Khvedelidze, B V" uniqKey="Khvedelidze B" first="B. V." last="Khvedelidze">B. V. Khvedelidze</name></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:531030899AF5495A6F5F73EE07D1B6C37A176FD4</idno><date when="1995" year="1995">1995</date><idno type="doi">10.1007/978-1-4899-3793-3_5</idno><idno type="url">https://api.istex.fr/document/531030899AF5495A6F5F73EE07D1B6C37A176FD4/fulltext/pdf</idno><idno type="wicri:Area/Istex/Corpus">001098</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">001098</idno><idno type="wicri:Area/Istex/Curation">001098</idno><idno type="wicri:Area/Istex/Checkpoint">001A27</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Checkpoint">001A27</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">L</title><author><name sortKey="Barendregt, H P" sort="Barendregt, H P" uniqKey="Barendregt H" first="H. P." last="Barendregt">H. P. Barendregt</name></author><author><name sortKey="Dolgachev, I V" sort="Dolgachev, I V" uniqKey="Dolgachev I" first="I. V." last="Dolgachev">I. V. Dolgachev</name></author><author><name sortKey="Rozenberg, G" sort="Rozenberg, G" uniqKey="Rozenberg G" first="G." last="Rozenberg">G. Rozenberg</name></author><author><name sortKey="Salomaa, A" sort="Salomaa, A" uniqKey="Salomaa A" first="A." last="Salomaa">A. Salomaa</name></author><author><name sortKey="Soldatov, A P" sort="Soldatov, A P" uniqKey="Soldatov A" first="A. P." last="Soldatov">A. P. Soldatov</name></author><author><name sortKey="Leont V, A F" sort="Leont V, A F" uniqKey="Leont V A" first="A. F." last="Leont V">A. F. Leont V</name></author><author><name sortKey="Emel Anov, V F" sort="Emel Anov, V F" uniqKey="Emel Anov V" first="V. F." last="Emel Anov">V. F. Emel Anov</name></author><author><name sortKey="Egorov, I P" sort="Egorov, I P" uniqKey="Egorov I" first="I. P." last="Egorov">I. P. Egorov</name></author><author><name sortKey="Rozov, N Kh" sort="Rozov, N Kh" uniqKey="Rozov N" first="N. Kh." last="Rozov">N. Kh. Rozov</name></author><author><name sortKey="Rumyantsev, V V" sort="Rumyantsev, V V" uniqKey="Rumyantsev V" first="V. V." last="Rumyantsev">V. V. Rumyantsev</name></author><author><name sortKey="Vapnyarski, I B" sort="Vapnyarski, I B" uniqKey="Vapnyarski I" first="I. B." last="Vapnyarski">I. B. Vapnyarski</name></author><author><name sortKey="Kudryavtsev, L D" sort="Kudryavtsev, L D" uniqKey="Kudryavtsev L" first="L. D." last="Kudryavtsev">L. D. Kudryavtsev</name></author><author><name sortKey="Samarin, M K" sort="Samarin, M K" uniqKey="Samarin M" first="M. K." last="Samarin">M. K. Samarin</name></author><author><name sortKey="Proskuryakov, I V" sort="Proskuryakov, I V" uniqKey="Proskuryakov I" first="I. V." last="Proskuryakov">I. V. Proskuryakov</name></author><author><name sortKey="Millionshchikov, V M" sort="Millionshchikov, V M" uniqKey="Millionshchikov V" first="V. M." last="Millionshchikov">V. M. Millionshchikov</name></author><author><name sortKey="Vil Ams, N N" sort="Vil Ams, N N" uniqKey="Vil Ams N" first="N. N." last="Vil Ams">N. N. Vil Ams</name></author><author><name sortKey="Stepanov, S A" sort="Stepanov, S A" uniqKey="Stepanov S" first="S. A." last="Stepanov">S. A. Stepanov</name></author><author><name sortKey="Voronin, S M" sort="Voronin, S M" uniqKey="Voronin S" first="S. M." last="Voronin">S. M. Voronin</name></author><author><name sortKey="Volovich, I V" sort="Volovich, I V" uniqKey="Volovich I" first="I. V." last="Volovich">I. V. Volovich</name></author><author><name sortKey="Anosov, D V" sort="Anosov, D V" uniqKey="Anosov D" first="D. V." last="Anosov">D. V. Anosov</name></author><author><name sortKey="Sokolov, D D" sort="Sokolov, D D" uniqKey="Sokolov D" first="D. D." last="Sokolov">D. D. Sokolov</name></author><author><name sortKey="Suetin, P K" sort="Suetin, P K" uniqKey="Suetin P" first="P. K." last="Suetin">P. K. Suetin</name></author><author><name sortKey="Brychkov, Yu A" sort="Brychkov, Yu A" uniqKey="Brychkov Y" first="Yu. A." last="Brychkov">Yu. A. Brychkov</name></author><author><name sortKey="Prudnikov, A P" sort="Prudnikov, A P" uniqKey="Prudnikov A" first="A. P." last="Prudnikov">A. P. Prudnikov</name></author><author><name sortKey="Ivanov, A B" sort="Ivanov, A B" uniqKey="Ivanov A" first="A. B." last="Ivanov">A. B. Ivanov</name></author><author><name sortKey="Vo Tsekhovski, M I" sort="Vo Tsekhovski, M I" uniqKey="Vo Tsekhovski M" first="M. I." last="Vo Tsekhovski">M. I. Vo Tsekhovski</name></author><author><name sortKey="Bityutskov, V I" sort="Bityutskov, V I" uniqKey="Bityutskov V" first="V. I." last="Bityutskov">V. I. Bityutskov</name></author><author><name sortKey="Chuyanov, V A" sort="Chuyanov, V A" uniqKey="Chuyanov V" first="V. A." last="Chuyanov">V. A. Chuyanov</name></author><author><name sortKey="Kuz Ina, G V" sort="Kuz Ina, G V" uniqKey="Kuz Ina G" first="G. V." last="Kuz Ina">G. V. Kuz Ina</name></author><author><name sortKey="Maassen, H" sort="Maassen, H" uniqKey="Maassen H" first="H." last="Maassen">H. Maassen</name></author><author><name sortKey="Solomentsev, E D" sort="Solomentsev, E D" uniqKey="Solomentsev E" first="E. D." last="Solomentsev">E. D. Solomentsev</name></author><author><name sortKey="Shikin, E V" sort="Shikin, E V" uniqKey="Shikin E" first="E. V." last="Shikin">E. V. Shikin</name></author><author><name sortKey="Prokhorov, A V" sort="Prokhorov, A V" uniqKey="Prokhorov A" first="A. V." last="Prokhorov">A. V. Prokhorov</name></author><author><name sortKey="D Akonov, E G" sort="D Akonov, E G" uniqKey="D Akonov E" first="E. G." last="D Akonov">E. G. D Akonov</name></author><author><name sortKey="Fedoryuk, M V" sort="Fedoryuk, M V" uniqKey="Fedoryuk M" first="M. V." last="Fedoryuk">M. V. Fedoryuk</name></author><author><name sortKey="Shubin, M A" sort="Shubin, M A" uniqKey="Shubin M" first="M. A." last="Shubin">M. A. Shubin</name></author><author><name sortKey="Bazylev, V T" sort="Bazylev, V T" uniqKey="Bazylev V" first="V. T." last="Bazylev">V. T. Bazylev</name></author><author><name sortKey="Zhavrid, N S" sort="Zhavrid, N S" uniqKey="Zhavrid N" first="N. S." last="Zhavrid">N. S. Zhavrid</name></author><author><name sortKey="Okhrimenko, V V" sort="Okhrimenko, V V" uniqKey="Okhrimenko V" first="V. V." last="Okhrimenko">V. V. Okhrimenko</name></author><author><name sortKey="Davydov, Yu M" sort="Davydov, Yu M" uniqKey="Davydov Y" first="Yu. M." last="Davydov">Yu. M. Davydov</name></author><author><name sortKey="Bredikhin, B M" sort="Bredikhin, B M" uniqKey="Bredikhin B" first="B. M." last="Bredikhin">B. M. Bredikhin</name></author><author><name sortKey="Parail, V V" sort="Parail, V V" uniqKey="Parail V" first="V. V." last="Parail">V. V. Parail</name></author><author><name sortKey="Danilov, V I" sort="Danilov, V I" uniqKey="Danilov V" first="V. I." last="Danilov">V. I. Danilov</name></author><author><name sortKey="Mikheev, V M" sort="Mikheev, V M" uniqKey="Mikheev V" first="V. M." last="Mikheev">V. M. Mikheev</name></author><author><name sortKey="Skornyakov, L A" sort="Skornyakov, L A" uniqKey="Skornyakov L" first="L. A." last="Skornyakov">L. A. Skornyakov</name></author><author><name sortKey="Ushakov, N G" sort="Ushakov, N G" uniqKey="Ushakov N" first="N. G." last="Ushakov">N. G. Ushakov</name></author><author><name sortKey="Kopytov, V M" sort="Kopytov, V M" uniqKey="Kopytov V" first="V. M." last="Kopytov">V. M. Kopytov</name></author><author><name sortKey="Fofanova, T S" sort="Fofanova, T S" uniqKey="Fofanova T" first="T. S." last="Fofanova">T. S. Fofanova</name></author><author><name sortKey="Zorich, V A" sort="Zorich, V A" uniqKey="Zorich V" first="V. A." last="Zorich">V. A. Zorich</name></author><author><name sortKey="Popov, V L" sort="Popov, V L" uniqKey="Popov V" first="V. L." last="Popov">V. L. Popov</name></author><author><name sortKey="Prohorov, Yu V" sort="Prohorov, Yu V" uniqKey="Prohorov Y" first="Yu. V." last="Prohorov">Yu. V. Prohorov</name></author><author><name sortKey="Plisko, V E" sort="Plisko, V E" uniqKey="Plisko V" first="V. E." last="Plisko">V. E. Plisko</name></author><author><name sortKey="Petrov, V V" sort="Petrov, V V" uniqKey="Petrov V" first="V. V." last="Petrov">V. V. Petrov</name></author><author><name sortKey="Nechaev, V I" sort="Nechaev, V I" uniqKey="Nechaev V" first="V. I." last="Nechaev">V. I. Nechaev</name></author><author><name sortKey="Bukhshtab, A A" sort="Bukhshtab, A A" uniqKey="Bukhshtab A" first="A. A." last="Bukhshtab">A. A. Bukhshtab</name></author><author><name sortKey="Nikulin, M S" sort="Nikulin, M S" uniqKey="Nikulin M" first="M. S." last="Nikulin">M. S. Nikulin</name></author><author><name sortKey="Bol Hev, L N" sort="Bol Hev, L N" uniqKey="Bol Hev L" first="L. N." last="Bol Hev">L. N. Bol Hev</name></author><author><name sortKey="Oskolkov, K I" sort="Oskolkov, K I" uniqKey="Oskolkov K" first="K. I." last="Oskolkov">K. I. Oskolkov</name></author><author><name sortKey="Golubov, B I" sort="Golubov, B I" uniqKey="Golubov B" first="B. I." last="Golubov">B. I. Golubov</name></author><author><name sortKey="Sazonov, V V" sort="Sazonov, V V" uniqKey="Sazonov V" first="V. V." last="Sazonov">V. V. Sazonov</name></author><author><name sortKey="Aleksandrov, P S" sort="Aleksandrov, P S" uniqKey="Aleksandrov P" first="P. S." last="Aleksandrov">P. S. Aleksandrov</name></author><author><name sortKey="Kashin, B S" sort="Kashin, B S" uniqKey="Kashin B" first="B. S." last="Kashin">B. S. Kashin</name></author><author><name sortKey="Vinogradova, I A" sort="Vinogradova, I A" uniqKey="Vinogradova I" first="I. A." last="Vinogradova">I. A. Vinogradova</name></author><author><name sortKey="Pasynkov, B A" sort="Pasynkov, B A" uniqKey="Pasynkov B" first="B. A." last="Pasynkov">B. A. Pasynkov</name></author><author><name sortKey="Volkov, I I" sort="Volkov, I I" uniqKey="Volkov I" first="I. I." last="Volkov">I. I. Volkov</name></author><author><name sortKey="Lukashenko, T P" sort="Lukashenko, T P" uniqKey="Lukashenko T" first="T. P." last="Lukashenko">T. P. Lukashenko</name></author><author><name sortKey="Gruber, P M" sort="Gruber, P M" uniqKey="Gruber P" first="P. M." last="Gruber">P. M. Gruber</name></author><author><name sortKey="Rudyak, Yu B" sort="Rudyak, Yu B" uniqKey="Rudyak Y" first="Yu. B." last="Rudyak">Yu. B. Rudyak</name></author><author><name sortKey="Iskovskikh, V A" sort="Iskovskikh, V A" uniqKey="Iskovskikh V" first="V. A." last="Iskovskikh">V. A. Iskovskikh</name></author><author><name sortKey="Nesterenko, Yu V" sort="Nesterenko, Yu V" uniqKey="Nesterenko Y" first="Yu. V." last="Nesterenko">Yu. V. Nesterenko</name></author><author><name sortKey="Tikhomirov, V M" sort="Tikhomirov, V M" uniqKey="Tikhomirov V" first="V. M." last="Tikhomirov">V. M. Tikhomirov</name></author><author><name sortKey="Mityuk, I P" sort="Mityuk, I P" uniqKey="Mityuk I" first="I. P." last="Mityuk">I. P. Mityuk</name></author><author><name sortKey="Chernavski, A V" sort="Chernavski, A V" uniqKey="Chernavski A" first="A. V." last="Chernavski">A. V. Chernavski</name></author><author><name sortKey="Ponomarev, D A" sort="Ponomarev, D A" uniqKey="Ponomarev D" first="D. A." last="Ponomarev">D. A. Ponomarev</name></author><author><name sortKey="Goluzina, E G" sort="Goluzina, E G" uniqKey="Goluzina E" first="E. G." last="Goluzina">E. G. Goluzina</name></author><author><name sortKey="Lumiste, U" sort="Lumiste, U" uniqKey="Lumiste U" first="Ü." last="Lumiste">Ü. Lumiste</name></author><author><name sortKey="Shtern, A I" sort="Shtern, A I" uniqKey="Shtern A" first="A. I." last="Shtern">A. I. Shtern</name></author><author><name sortKey="Onishchik, A L" sort="Onishchik, A L" uniqKey="Onishchik A" first="A. L." last="Onishchik">A. L. Onishchik</name></author><author><name sortKey="Rogozin, B A" sort="Rogozin, B A" uniqKey="Rogozin B" first="B. A." last="Rogozin">B. A. Rogozin</name></author><author><name sortKey="Ostrovski, I V" sort="Ostrovski, I V" uniqKey="Ostrovski I" first="I. V." last="Ostrovski">I. V. Ostrovski</name></author><author><name sortKey="Zolotarev, V M" sort="Zolotarev, V M" uniqKey="Zolotarev V" first="V. M." last="Zolotarev">V. M. Zolotarev</name></author><author><name sortKey="Myung, H C" sort="Myung, H C" uniqKey="Myung H" first="H. C." last="Myung">H. C. Myung</name></author><author><name sortKey="Bakhturin, Yu A" sort="Bakhturin, Yu A" uniqKey="Bakhturin Y" first="Yu. A." last="Bakhturin">Yu. A. Bakhturin</name></author><author><name sortKey="Vinberg, E B" sort="Vinberg, E B" uniqKey="Vinberg E" first="E. B." last="Vinberg">E. B. Vinberg</name></author><author><name sortKey="Kirillov, A A" sort="Kirillov, A A" uniqKey="Kirillov A" first="A. A." last="Kirillov">A. A. Kirillov</name></author><author><name sortKey="Gorbatsevich, V V" sort="Gorbatsevich, V V" uniqKey="Gorbatsevich V" first="V. V." last="Gorbatsevich">V. V. Gorbatsevich</name></author><author><name sortKey="Alekseevski, D V" sort="Alekseevski, D V" uniqKey="Alekseevski D" first="D. V." last="Alekseevski">D. V. Alekseevski</name></author><author><name sortKey="Platonov, V P" sort="Platonov, V P" uniqKey="Platonov V" first="V. P." last="Platonov">V. P. Platonov</name></author><author><name sortKey="Kostrikin, A I" sort="Kostrikin, A I" uniqKey="Kostrikin A" first="A. I." last="Kostrikin">A. I. Kostrikin</name></author><author><name sortKey="Fedenko, A S" sort="Fedenko, A S" uniqKey="Fedenko A" first="A. S." last="Fedenko">A. S. Fedenko</name></author><author><name sortKey="Va Nberg, B R" sort="Va Nberg, B R" uniqKey="Va Nberg B" first="B. R." last="Va Nberg">B. R. Va Nberg</name></author><author><name sortKey="Cherkas, L A" sort="Cherkas, L A" uniqKey="Cherkas L" first="L. A." last="Cherkas">L. A. Cherkas</name></author><author><name sortKey="Prokhorov, Yu V" sort="Prokhorov, Yu V" uniqKey="Prokhorov Y" first="Yu. V." last="Prokhorov">Yu. V. Prokhorov</name></author><author><name sortKey="Galochkin, A I" sort="Galochkin, A I" uniqKey="Galochkin A" first="A. I." last="Galochkin">A. I. Galochkin</name></author><author><name sortKey="Parkhomenko, A S" sort="Parkhomenko, A S" uniqKey="Parkhomenko A" first="A. S." last="Parkhomenko">A. S. Parkhomenko</name></author><author><name sortKey="Voevodin, V V" sort="Voevodin, V V" uniqKey="Voevodin V" first="V. V." last="Voevodin">V. V. Voevodin</name></author><author><name sortKey="Shapkin, A F" sort="Shapkin, A F" uniqKey="Shapkin A" first="A. F." last="Shapkin">A. F. Shapkin</name></author><author><name sortKey="Kre N, S G" sort="Kre N, S G" uniqKey="Kre N S" first="S. G." last="Kre N">S. G. Kre N</name></author><author><name sortKey="Palamodov, V P" sort="Palamodov, V P" uniqKey="Palamodov V" first="V. P." last="Palamodov">V. P. Palamodov</name></author><author><name sortKey="A Vazyan, S A" sort="A Vazyan, S A" uniqKey="A Vazyan S" first="S. A." last="A Vazyan">S. A. A Vazyan</name></author><author><name sortKey="Khelemski, A Ya" sort="Khelemski, A Ya" uniqKey="Khelemski A" first="A. Ya." last="Khelemski">A. Ya. Khelemski</name></author><author><name sortKey="Nakhushev, A M" sort="Nakhushev, A M" uniqKey="Nakhushev A" first="A. M." last="Nakhushev">A. M. Nakhushev</name></author><author><name sortKey="Ivanova, O A" sort="Ivanova, O A" uniqKey="Ivanova O" first="O. A." last="Ivanova">O. A. Ivanova</name></author><author><name sortKey="Chernikov, S N" sort="Chernikov, S N" uniqKey="Chernikov S" first="S. N." last="Chernikov">S. N. Chernikov</name></author><author><name sortKey="Ladis, N N" sort="Ladis, N N" uniqKey="Ladis N" first="N. N." last="Ladis">N. N. Ladis</name></author><author><name sortKey="Karmanov, V G" sort="Karmanov, V G" uniqKey="Karmanov V" first="V. G." last="Karmanov">V. G. Karmanov</name></author><author><name sortKey="Yakubovich, V A" sort="Yakubovich, V A" uniqKey="Yakubovich V" first="V. A." last="Yakubovich">V. A. Yakubovich</name></author><author><name sortKey="Arnautov, V I" sort="Arnautov, V I" uniqKey="Arnautov V" first="V. I." last="Arnautov">V. I. Arnautov</name></author><author><name sortKey="Rozanov, Yu A" sort="Rozanov, Yu A" uniqKey="Rozanov Y" first="Yu. A." last="Rozanov">Yu. A. Rozanov</name></author><author><name sortKey="Malyshev, A V" sort="Malyshev, A V" uniqKey="Malyshev A" first="A. V." last="Malyshev">A. V. Malyshev</name></author><author><name sortKey="Kvasnikov, I A" sort="Kvasnikov, I A" uniqKey="Kvasnikov I" first="I. A." last="Kvasnikov">I. A. Kvasnikov</name></author><author><name sortKey="Lavrik, A F" sort="Lavrik, A F" uniqKey="Lavrik A" first="A. F." last="Lavrik">A. F. Lavrik</name></author><author><name sortKey="Kotov, S V" sort="Kotov, S V" uniqKey="Kotov S" first="S. V." last="Kotov">S. V. Kotov</name></author><author><name sortKey="Sabitov, I Kh" sort="Sabitov, I Kh" uniqKey="Sabitov I" first="I. Kh." last="Sabitov">I. Kh. Sabitov</name></author><author><name sortKey="Efimov, A V" sort="Efimov, A V" uniqKey="Efimov A" first="A. V." last="Efimov">A. V. Efimov</name></author><author><name sortKey="Ershov, A P" sort="Ershov, A P" uniqKey="Ershov A" first="A. P." last="Ershov">A. P. Ershov</name></author><author><name sortKey="Farber, M Sh" sort="Farber, M Sh" uniqKey="Farber M" first="M. Sh." last="Farber">M. Sh. Farber</name></author><author><name sortKey="Laptev, B L" sort="Laptev, B L" uniqKey="Laptev B" first="B. L." last="Laptev">B. L. Laptev</name></author><author><name sortKey="Ikramov, Kh D" sort="Ikramov, Kh D" uniqKey="Ikramov K" first="Kh. D." last="Ikramov">Kh. D. Ikramov</name></author><author><name sortKey="Sidorov, L A" sort="Sidorov, L A" uniqKey="Sidorov L" first="L. A." last="Sidorov">L. A. Sidorov</name></author><author><name sortKey="Mysovskikh, I P" sort="Mysovskikh, I P" uniqKey="Mysovskikh I" first="I. P." last="Mysovskikh">I. P. Mysovskikh</name></author><author><name sortKey="Korene Chuk, N P" sort="Korene Chuk, N P" uniqKey="Korene Chuk N" first="N. P." last="Korene Chuk">N. P. Korene Chuk</name></author><author><name sortKey="Motorny, V P" sort="Motorny, V P" uniqKey="Motorny V" first="V. P." last="Motorny">V. P. Motorny</name></author><author><name sortKey="Mal Sev, A A" sort="Mal Sev, A A" uniqKey="Mal Sev A" first="A. A." last="Mal Sev">A. A. Mal Sev</name></author><author><name sortKey="Sklyarenko, E G" sort="Sklyarenko, E G" uniqKey="Sklyarenko E" first="E. G." last="Sklyarenko">E. G. Sklyarenko</name></author><author><name sortKey="Kuz In, L V" sort="Kuz In, L V" uniqKey="Kuz In L" first="L. V." last="Kuz In">L. V. Kuz In</name></author><author><name sortKey="Johnstone, P T" sort="Johnstone, P T" uniqKey="Johnstone P" first="P. T." last="Johnstone">P. T. Johnstone</name></author><author><name sortKey="Dezin, A A" sort="Dezin, A A" uniqKey="Dezin A" first="A. A." last="Dezin">A. A. Dezin</name></author><author><name sortKey="Tsalenko, M Sh" sort="Tsalenko, M Sh" uniqKey="Tsalenko M" first="M. Sh." last="Tsalenko">M. Sh. Tsalenko</name></author><author><name sortKey="Untern, A I" sort="Untern, A I" uniqKey="Untern A" first="A. I." last="Untern">A. I. Untern</name></author><author><name sortKey="Latyshev, V N" sort="Latyshev, V N" uniqKey="Latyshev V" first="V. N." last="Latyshev">V. N. Latyshev</name></author><author><name sortKey="Arkhangel Ki, A V" sort="Arkhangel Ki, A V" uniqKey="Arkhangel Ki A" first="A. V." last="Arkhangel Ki">A. V. Arkhangel Ki</name></author><author><name sortKey="Shmel In, A L" sort="Shmel In, A L" uniqKey="Shmel In A" first="A. L." last="Shmel In">A. L. Shmel In</name></author><author><name sortKey="Shevrin, L N" sort="Shevrin, L N" uniqKey="Shevrin L" first="L. N." last="Shevrin">L. N. Shevrin</name></author><author><name sortKey="Bogaty, S A" sort="Bogaty, S A" uniqKey="Bogaty S" first="S. A." last="Bogaty">S. A. Bogaty</name></author><author><name sortKey="Maslov, S Yu" sort="Maslov, S Yu" uniqKey="Maslov S" first="S. Yu." last="Maslov">S. Yu. Maslov</name></author><author><name sortKey="Mints, G E" sort="Mints, G E" uniqKey="Mints G" first="G. E." last="Mints">G. E. Mints</name></author><author><name sortKey="Orlov, A I" sort="Orlov, A I" uniqKey="Orlov A" first="A. I." last="Orlov">A. I. Orlov</name></author><author><name sortKey="Belousov, V D" sort="Belousov, V D" uniqKey="Belousov V" first="V. D." last="Belousov">V. D. Belousov</name></author><author><name sortKey="Kharshiladze, A F" sort="Kharshiladze, A F" uniqKey="Kharshiladze A" first="A. F." last="Kharshiladze">A. F. Kharshiladze</name></author><author><name sortKey="Gutlyanski, V Ya" sort="Gutlyanski, V Ya" uniqKey="Gutlyanski V" first="V. Ya." last="Gutlyanski">V. Ya. Gutlyanski</name></author><author><name sortKey="Semenov, E M" sort="Semenov, E M" uniqKey="Semenov E" first="E. M." last="Semenov">E. M. Semenov</name></author><author><name sortKey="Konyushkov, A A" sort="Konyushkov, A A" uniqKey="Konyushkov A" first="A. A." last="Konyushkov">A. A. Konyushkov</name></author><author><name sortKey="Efimov, B A" sort="Efimov, B A" uniqKey="Efimov B" first="B. A." last="Efimov">B. A. Efimov</name></author><author><name sortKey="Khas Inski, R Z" sort="Khas Inski, R Z" uniqKey="Khas Inski R" first="R. Z." last="Khas Inski">R. Z. Khas Inski</name></author><author><name sortKey="Nagorny, N M" sort="Nagorny, N M" uniqKey="Nagorny N" first="N. M." last="Nagorny">N. M. Nagorny</name></author><author><name sortKey="Fedorchuk, V V" sort="Fedorchuk, V V" uniqKey="Fedorchuk V" first="V. V." last="Fedorchuk">V. V. Fedorchuk</name></author><author><name sortKey="Khvedelidze, B V" sort="Khvedelidze, B V" uniqKey="Khvedelidze B" first="B. V." last="Khvedelidze">B. V. Khvedelidze</name></author></analytic><monogr></monogr></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass><langUsage><language ident="en">en</language></langUsage></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: The lambda calculus was introduced in 1932 – 1933 by A. Church [A3] as part of a theory intended as a foundation for mathematics. This foundational theory consisted of a part dealing with logical symbols and rules and a part dealing with algorithms operating on these symbols. After it was shown by S.C. Kleene and J.B. Rosser [A7] that this foundational system was inconsistent, the part dealing with algorithms only was isolated as the (type-free) lambda calculus. It turned out to be quite successful in capturing the intuitive notion of computable function. Kleene [A6] showed that exactly the recursive functions (cf. Recursive function) are lambda definable in the sense given below. Then A.M. Turing [A10] introduced his machines (cf. Turing machine) and showed that Turing computable and lambda definable are equivalent notions. These are arguments for the Church—Turing thesis that the intuitive notion of computable is correctly formalised as lambda definable, Turing computable or recursive (cf. also Church thesis). Although many programming languages are based on the computational model of Turing (imperative programming), presently the model of Church enjoys a lot of attention in the form of functional programming.</div></front></TEI><affiliations><list></list><tree><noCountry><name sortKey="A Vazyan, S A" sort="A Vazyan, S A" uniqKey="A Vazyan S" first="S. A." last="A Vazyan">S. A. A Vazyan</name><name sortKey="Aleksandrov, P S" sort="Aleksandrov, P S" uniqKey="Aleksandrov P" first="P. S." last="Aleksandrov">P. S. Aleksandrov</name><name sortKey="Alekseevski, D V" sort="Alekseevski, D V" uniqKey="Alekseevski D" first="D. V." last="Alekseevski">D. V. Alekseevski</name><name sortKey="Anosov, D V" sort="Anosov, D V" uniqKey="Anosov D" first="D. V." last="Anosov">D. V. Anosov</name><name sortKey="Arkhangel Ki, A V" sort="Arkhangel Ki, A V" uniqKey="Arkhangel Ki A" first="A. V." last="Arkhangel Ki">A. V. Arkhangel Ki</name><name sortKey="Arnautov, V I" sort="Arnautov, V I" uniqKey="Arnautov V" first="V. I." last="Arnautov">V. I. Arnautov</name><name sortKey="Bakhturin, Yu A" sort="Bakhturin, Yu A" uniqKey="Bakhturin Y" first="Yu. A." last="Bakhturin">Yu. A. Bakhturin</name><name sortKey="Barendregt, H P" sort="Barendregt, H P" uniqKey="Barendregt H" first="H. P." last="Barendregt">H. P. Barendregt</name><name sortKey="Bazylev, V T" sort="Bazylev, V T" uniqKey="Bazylev V" first="V. T." last="Bazylev">V. T. Bazylev</name><name sortKey="Belousov, V D" sort="Belousov, V D" uniqKey="Belousov V" first="V. D." last="Belousov">V. D. Belousov</name><name sortKey="Bityutskov, V I" sort="Bityutskov, V I" uniqKey="Bityutskov V" first="V. I." last="Bityutskov">V. I. Bityutskov</name><name sortKey="Bogaty, S A" sort="Bogaty, S A" uniqKey="Bogaty S" first="S. A." last="Bogaty">S. A. Bogaty</name><name sortKey="Bol Hev, L N" sort="Bol Hev, L N" uniqKey="Bol Hev L" first="L. N." last="Bol Hev">L. N. Bol Hev</name><name sortKey="Bredikhin, B M" sort="Bredikhin, B M" uniqKey="Bredikhin B" first="B. M." last="Bredikhin">B. M. Bredikhin</name><name sortKey="Brychkov, Yu A" sort="Brychkov, Yu A" uniqKey="Brychkov Y" first="Yu. A." last="Brychkov">Yu. A. Brychkov</name><name sortKey="Bukhshtab, A A" sort="Bukhshtab, A A" uniqKey="Bukhshtab A" first="A. A." last="Bukhshtab">A. A. Bukhshtab</name><name sortKey="Cherkas, L A" sort="Cherkas, L A" uniqKey="Cherkas L" first="L. A." last="Cherkas">L. A. Cherkas</name><name sortKey="Chernavski, A V" sort="Chernavski, A V" uniqKey="Chernavski A" first="A. V." last="Chernavski">A. V. Chernavski</name><name sortKey="Chernikov, S N" sort="Chernikov, S N" uniqKey="Chernikov S" first="S. N." last="Chernikov">S. N. Chernikov</name><name sortKey="Chuyanov, V A" sort="Chuyanov, V A" uniqKey="Chuyanov V" first="V. A." last="Chuyanov">V. A. Chuyanov</name><name sortKey="D Akonov, E G" sort="D Akonov, E G" uniqKey="D Akonov E" first="E. G." last="D Akonov">E. G. D Akonov</name><name sortKey="Danilov, V I" sort="Danilov, V I" uniqKey="Danilov V" first="V. I." last="Danilov">V. I. Danilov</name><name sortKey="Davydov, Yu M" sort="Davydov, Yu M" uniqKey="Davydov Y" first="Yu. M." last="Davydov">Yu. M. Davydov</name><name sortKey="Dezin, A A" sort="Dezin, A A" uniqKey="Dezin A" first="A. A." last="Dezin">A. A. Dezin</name><name sortKey="Dolgachev, I V" sort="Dolgachev, I V" uniqKey="Dolgachev I" first="I. V." last="Dolgachev">I. V. Dolgachev</name><name sortKey="Efimov, A V" sort="Efimov, A V" uniqKey="Efimov A" first="A. V." last="Efimov">A. V. Efimov</name><name sortKey="Efimov, B A" sort="Efimov, B A" uniqKey="Efimov B" first="B. A." last="Efimov">B. A. Efimov</name><name sortKey="Egorov, I P" sort="Egorov, I P" uniqKey="Egorov I" first="I. P." last="Egorov">I. P. Egorov</name><name sortKey="Emel Anov, V F" sort="Emel Anov, V F" uniqKey="Emel Anov V" first="V. F." last="Emel Anov">V. F. Emel Anov</name><name sortKey="Ershov, A P" sort="Ershov, A P" uniqKey="Ershov A" first="A. P." last="Ershov">A. P. Ershov</name><name sortKey="Farber, M Sh" sort="Farber, M Sh" uniqKey="Farber M" first="M. Sh." last="Farber">M. Sh. Farber</name><name sortKey="Fedenko, A S" sort="Fedenko, A S" uniqKey="Fedenko A" first="A. S." last="Fedenko">A. S. Fedenko</name><name sortKey="Fedorchuk, V V" sort="Fedorchuk, V V" uniqKey="Fedorchuk V" first="V. V." last="Fedorchuk">V. V. Fedorchuk</name><name sortKey="Fedoryuk, M V" sort="Fedoryuk, M V" uniqKey="Fedoryuk M" first="M. V." last="Fedoryuk">M. V. Fedoryuk</name><name sortKey="Fofanova, T S" sort="Fofanova, T S" uniqKey="Fofanova T" first="T. S." last="Fofanova">T. S. Fofanova</name><name sortKey="Galochkin, A I" sort="Galochkin, A I" uniqKey="Galochkin A" first="A. I." last="Galochkin">A. I. Galochkin</name><name sortKey="Golubov, B I" sort="Golubov, B I" uniqKey="Golubov B" first="B. I." last="Golubov">B. I. Golubov</name><name sortKey="Goluzina, E G" sort="Goluzina, E G" uniqKey="Goluzina E" first="E. G." last="Goluzina">E. G. Goluzina</name><name sortKey="Gorbatsevich, V V" sort="Gorbatsevich, V V" uniqKey="Gorbatsevich V" first="V. V." last="Gorbatsevich">V. V. Gorbatsevich</name><name sortKey="Gruber, P M" sort="Gruber, P M" uniqKey="Gruber P" first="P. M." last="Gruber">P. M. Gruber</name><name sortKey="Gutlyanski, V Ya" sort="Gutlyanski, V Ya" uniqKey="Gutlyanski V" first="V. Ya." last="Gutlyanski">V. Ya. Gutlyanski</name><name sortKey="Ikramov, Kh D" sort="Ikramov, Kh D" uniqKey="Ikramov K" first="Kh. D." last="Ikramov">Kh. D. Ikramov</name><name sortKey="Iskovskikh, V A" sort="Iskovskikh, V A" uniqKey="Iskovskikh V" first="V. A." last="Iskovskikh">V. A. Iskovskikh</name><name sortKey="Ivanov, A B" sort="Ivanov, A B" uniqKey="Ivanov A" first="A. B." last="Ivanov">A. B. Ivanov</name><name sortKey="Ivanova, O A" sort="Ivanova, O A" uniqKey="Ivanova O" first="O. A." last="Ivanova">O. A. Ivanova</name><name sortKey="Johnstone, P T" sort="Johnstone, P T" uniqKey="Johnstone P" first="P. T." last="Johnstone">P. T. Johnstone</name><name sortKey="Karmanov, V G" sort="Karmanov, V G" uniqKey="Karmanov V" first="V. G." last="Karmanov">V. G. Karmanov</name><name sortKey="Kashin, B S" sort="Kashin, B S" uniqKey="Kashin B" first="B. S." last="Kashin">B. S. Kashin</name><name sortKey="Kharshiladze, A F" sort="Kharshiladze, A F" uniqKey="Kharshiladze A" first="A. F." last="Kharshiladze">A. F. Kharshiladze</name><name sortKey="Khas Inski, R Z" sort="Khas Inski, R Z" uniqKey="Khas Inski R" first="R. Z." last="Khas Inski">R. Z. Khas Inski</name><name sortKey="Khelemski, A Ya" sort="Khelemski, A Ya" uniqKey="Khelemski A" first="A. Ya." last="Khelemski">A. Ya. Khelemski</name><name sortKey="Khvedelidze, B V" sort="Khvedelidze, B V" uniqKey="Khvedelidze B" first="B. V." last="Khvedelidze">B. V. Khvedelidze</name><name sortKey="Kirillov, A A" sort="Kirillov, A A" uniqKey="Kirillov A" first="A. A." last="Kirillov">A. A. Kirillov</name><name sortKey="Konyushkov, A A" sort="Konyushkov, A A" uniqKey="Konyushkov A" first="A. A." last="Konyushkov">A. A. Konyushkov</name><name sortKey="Kopytov, V M" sort="Kopytov, V M" uniqKey="Kopytov V" first="V. M." last="Kopytov">V. M. Kopytov</name><name sortKey="Korene Chuk, N P" sort="Korene Chuk, N P" uniqKey="Korene Chuk N" first="N. P." last="Korene Chuk">N. P. Korene Chuk</name><name sortKey="Kostrikin, A I" sort="Kostrikin, A I" uniqKey="Kostrikin A" first="A. I." last="Kostrikin">A. I. Kostrikin</name><name sortKey="Kotov, S V" sort="Kotov, S V" uniqKey="Kotov S" first="S. V." last="Kotov">S. V. Kotov</name><name sortKey="Kre N, S G" sort="Kre N, S G" uniqKey="Kre N S" first="S. G." last="Kre N">S. G. Kre N</name><name sortKey="Kudryavtsev, L D" sort="Kudryavtsev, L D" uniqKey="Kudryavtsev L" first="L. D." last="Kudryavtsev">L. D. Kudryavtsev</name><name sortKey="Kuz In, L V" sort="Kuz In, L V" uniqKey="Kuz In L" first="L. V." last="Kuz In">L. V. Kuz In</name><name sortKey="Kuz Ina, G V" sort="Kuz Ina, G V" uniqKey="Kuz Ina G" first="G. V." last="Kuz Ina">G. V. Kuz Ina</name><name sortKey="Kvasnikov, I A" sort="Kvasnikov, I A" uniqKey="Kvasnikov I" first="I. A." last="Kvasnikov">I. A. Kvasnikov</name><name sortKey="Ladis, N N" sort="Ladis, N N" uniqKey="Ladis N" first="N. N." last="Ladis">N. N. Ladis</name><name sortKey="Laptev, B L" sort="Laptev, B L" uniqKey="Laptev B" first="B. L." last="Laptev">B. L. Laptev</name><name sortKey="Latyshev, V N" sort="Latyshev, V N" uniqKey="Latyshev V" first="V. N." last="Latyshev">V. N. Latyshev</name><name sortKey="Lavrik, A F" sort="Lavrik, A F" uniqKey="Lavrik A" first="A. F." last="Lavrik">A. F. Lavrik</name><name sortKey="Leont V, A F" sort="Leont V, A F" uniqKey="Leont V A" first="A. F." last="Leont V">A. F. Leont V</name><name sortKey="Lukashenko, T P" sort="Lukashenko, T P" uniqKey="Lukashenko T" first="T. P." last="Lukashenko">T. P. Lukashenko</name><name sortKey="Lumiste, U" sort="Lumiste, U" uniqKey="Lumiste U" first="Ü." last="Lumiste">Ü. Lumiste</name><name sortKey="Maassen, H" sort="Maassen, H" uniqKey="Maassen H" first="H." last="Maassen">H. Maassen</name><name sortKey="Mal Sev, A A" sort="Mal Sev, A A" uniqKey="Mal Sev A" first="A. A." last="Mal Sev">A. A. Mal Sev</name><name sortKey="Malyshev, A V" sort="Malyshev, A V" uniqKey="Malyshev A" first="A. V." last="Malyshev">A. V. Malyshev</name><name sortKey="Maslov, S Yu" sort="Maslov, S Yu" uniqKey="Maslov S" first="S. Yu." last="Maslov">S. Yu. Maslov</name><name sortKey="Mikheev, V M" sort="Mikheev, V M" uniqKey="Mikheev V" first="V. M." last="Mikheev">V. M. Mikheev</name><name sortKey="Millionshchikov, V M" sort="Millionshchikov, V M" uniqKey="Millionshchikov V" first="V. M." last="Millionshchikov">V. M. Millionshchikov</name><name sortKey="Mints, G E" sort="Mints, G E" uniqKey="Mints G" first="G. E." last="Mints">G. E. Mints</name><name sortKey="Mityuk, I P" sort="Mityuk, I P" uniqKey="Mityuk I" first="I. P." last="Mityuk">I. P. Mityuk</name><name sortKey="Motorny, V P" sort="Motorny, V P" uniqKey="Motorny V" first="V. P." last="Motorny">V. P. Motorny</name><name sortKey="Mysovskikh, I P" sort="Mysovskikh, I P" uniqKey="Mysovskikh I" first="I. P." last="Mysovskikh">I. P. Mysovskikh</name><name sortKey="Myung, H C" sort="Myung, H C" uniqKey="Myung H" first="H. C." last="Myung">H. C. Myung</name><name sortKey="Nagorny, N M" sort="Nagorny, N M" uniqKey="Nagorny N" first="N. M." last="Nagorny">N. M. Nagorny</name><name sortKey="Nakhushev, A M" sort="Nakhushev, A M" uniqKey="Nakhushev A" first="A. M." last="Nakhushev">A. M. Nakhushev</name><name sortKey="Nechaev, V I" sort="Nechaev, V I" uniqKey="Nechaev V" first="V. I." last="Nechaev">V. I. Nechaev</name><name sortKey="Nesterenko, Yu V" sort="Nesterenko, Yu V" uniqKey="Nesterenko Y" first="Yu. V." last="Nesterenko">Yu. V. Nesterenko</name><name sortKey="Nikulin, M S" sort="Nikulin, M S" uniqKey="Nikulin M" first="M. S." last="Nikulin">M. S. Nikulin</name><name sortKey="Okhrimenko, V V" sort="Okhrimenko, V V" uniqKey="Okhrimenko V" first="V. V." last="Okhrimenko">V. V. Okhrimenko</name><name sortKey="Onishchik, A L" sort="Onishchik, A L" uniqKey="Onishchik A" first="A. L." last="Onishchik">A. L. Onishchik</name><name sortKey="Orlov, A I" sort="Orlov, A I" uniqKey="Orlov A" first="A. I." last="Orlov">A. I. Orlov</name><name sortKey="Oskolkov, K I" sort="Oskolkov, K I" uniqKey="Oskolkov K" first="K. I." last="Oskolkov">K. I. Oskolkov</name><name sortKey="Ostrovski, I V" sort="Ostrovski, I V" uniqKey="Ostrovski I" first="I. V." last="Ostrovski">I. V. Ostrovski</name><name sortKey="Palamodov, V P" sort="Palamodov, V P" uniqKey="Palamodov V" first="V. P." last="Palamodov">V. P. Palamodov</name><name sortKey="Parail, V V" sort="Parail, V V" uniqKey="Parail V" first="V. V." last="Parail">V. V. Parail</name><name sortKey="Parkhomenko, A S" sort="Parkhomenko, A S" uniqKey="Parkhomenko A" first="A. S." last="Parkhomenko">A. S. Parkhomenko</name><name sortKey="Pasynkov, B A" sort="Pasynkov, B A" uniqKey="Pasynkov B" first="B. A." last="Pasynkov">B. A. Pasynkov</name><name sortKey="Petrov, V V" sort="Petrov, V V" uniqKey="Petrov V" first="V. V." last="Petrov">V. V. Petrov</name><name sortKey="Platonov, V P" sort="Platonov, V P" uniqKey="Platonov V" first="V. P." last="Platonov">V. P. Platonov</name><name sortKey="Plisko, V E" sort="Plisko, V E" uniqKey="Plisko V" first="V. E." last="Plisko">V. E. Plisko</name><name sortKey="Ponomarev, D A" sort="Ponomarev, D A" uniqKey="Ponomarev D" first="D. A." last="Ponomarev">D. A. Ponomarev</name><name sortKey="Popov, V L" sort="Popov, V L" uniqKey="Popov V" first="V. L." last="Popov">V. L. Popov</name><name sortKey="Prohorov, Yu V" sort="Prohorov, Yu V" uniqKey="Prohorov Y" first="Yu. V." last="Prohorov">Yu. V. Prohorov</name><name sortKey="Prokhorov, A V" sort="Prokhorov, A V" uniqKey="Prokhorov A" first="A. V." last="Prokhorov">A. V. Prokhorov</name><name sortKey="Prokhorov, Yu V" sort="Prokhorov, Yu V" uniqKey="Prokhorov Y" first="Yu. V." last="Prokhorov">Yu. V. Prokhorov</name><name sortKey="Proskuryakov, I V" sort="Proskuryakov, I V" uniqKey="Proskuryakov I" first="I. V." last="Proskuryakov">I. V. Proskuryakov</name><name sortKey="Prudnikov, A P" sort="Prudnikov, A P" uniqKey="Prudnikov A" first="A. P." last="Prudnikov">A. P. Prudnikov</name><name sortKey="Rogozin, B A" sort="Rogozin, B A" uniqKey="Rogozin B" first="B. A." last="Rogozin">B. A. Rogozin</name><name sortKey="Rozanov, Yu A" sort="Rozanov, Yu A" uniqKey="Rozanov Y" first="Yu. A." last="Rozanov">Yu. A. Rozanov</name><name sortKey="Rozenberg, G" sort="Rozenberg, G" uniqKey="Rozenberg G" first="G." last="Rozenberg">G. Rozenberg</name><name sortKey="Rozov, N Kh" sort="Rozov, N Kh" uniqKey="Rozov N" first="N. Kh." last="Rozov">N. Kh. Rozov</name><name sortKey="Rudyak, Yu B" sort="Rudyak, Yu B" uniqKey="Rudyak Y" first="Yu. B." last="Rudyak">Yu. B. Rudyak</name><name sortKey="Rumyantsev, V V" sort="Rumyantsev, V V" uniqKey="Rumyantsev V" first="V. V." last="Rumyantsev">V. V. Rumyantsev</name><name sortKey="Sabitov, I Kh" sort="Sabitov, I Kh" uniqKey="Sabitov I" first="I. Kh." last="Sabitov">I. Kh. Sabitov</name><name sortKey="Salomaa, A" sort="Salomaa, A" uniqKey="Salomaa A" first="A." last="Salomaa">A. Salomaa</name><name sortKey="Samarin, M K" sort="Samarin, M K" uniqKey="Samarin M" first="M. K." last="Samarin">M. K. Samarin</name><name sortKey="Sazonov, V V" sort="Sazonov, V V" uniqKey="Sazonov V" first="V. V." last="Sazonov">V. V. Sazonov</name><name sortKey="Semenov, E M" sort="Semenov, E M" uniqKey="Semenov E" first="E. M." last="Semenov">E. M. Semenov</name><name sortKey="Shapkin, A F" sort="Shapkin, A F" uniqKey="Shapkin A" first="A. F." last="Shapkin">A. F. Shapkin</name><name sortKey="Shevrin, L N" sort="Shevrin, L N" uniqKey="Shevrin L" first="L. N." last="Shevrin">L. N. Shevrin</name><name sortKey="Shikin, E V" sort="Shikin, E V" uniqKey="Shikin E" first="E. V." last="Shikin">E. V. Shikin</name><name sortKey="Shmel In, A L" sort="Shmel In, A L" uniqKey="Shmel In A" first="A. L." last="Shmel In">A. L. Shmel In</name><name sortKey="Shtern, A I" sort="Shtern, A I" uniqKey="Shtern A" first="A. I." last="Shtern">A. I. Shtern</name><name sortKey="Shubin, M A" sort="Shubin, M A" uniqKey="Shubin M" first="M. A." last="Shubin">M. A. Shubin</name><name sortKey="Sidorov, L A" sort="Sidorov, L A" uniqKey="Sidorov L" first="L. A." last="Sidorov">L. A. Sidorov</name><name sortKey="Sklyarenko, E G" sort="Sklyarenko, E G" uniqKey="Sklyarenko E" first="E. G." last="Sklyarenko">E. G. Sklyarenko</name><name sortKey="Skornyakov, L A" sort="Skornyakov, L A" uniqKey="Skornyakov L" first="L. A." last="Skornyakov">L. A. Skornyakov</name><name sortKey="Sokolov, D D" sort="Sokolov, D D" uniqKey="Sokolov D" first="D. D." last="Sokolov">D. D. Sokolov</name><name sortKey="Soldatov, A P" sort="Soldatov, A P" uniqKey="Soldatov A" first="A. P." last="Soldatov">A. P. Soldatov</name><name sortKey="Solomentsev, E D" sort="Solomentsev, E D" uniqKey="Solomentsev E" first="E. D." last="Solomentsev">E. D. Solomentsev</name><name sortKey="Stepanov, S A" sort="Stepanov, S A" uniqKey="Stepanov S" first="S. A." last="Stepanov">S. A. Stepanov</name><name sortKey="Suetin, P K" sort="Suetin, P K" uniqKey="Suetin P" first="P. K." last="Suetin">P. K. Suetin</name><name sortKey="Tikhomirov, V M" sort="Tikhomirov, V M" uniqKey="Tikhomirov V" first="V. M." last="Tikhomirov">V. M. Tikhomirov</name><name sortKey="Tsalenko, M Sh" sort="Tsalenko, M Sh" uniqKey="Tsalenko M" first="M. Sh." last="Tsalenko">M. Sh. Tsalenko</name><name sortKey="Untern, A I" sort="Untern, A I" uniqKey="Untern A" first="A. I." last="Untern">A. I. Untern</name><name sortKey="Ushakov, N G" sort="Ushakov, N G" uniqKey="Ushakov N" first="N. G." last="Ushakov">N. G. Ushakov</name><name sortKey="Va Nberg, B R" sort="Va Nberg, B R" uniqKey="Va Nberg B" first="B. R." last="Va Nberg">B. R. Va Nberg</name><name sortKey="Vapnyarski, I B" sort="Vapnyarski, I B" uniqKey="Vapnyarski I" first="I. B." last="Vapnyarski">I. B. Vapnyarski</name><name sortKey="Vil Ams, N N" sort="Vil Ams, N N" uniqKey="Vil Ams N" first="N. N." last="Vil Ams">N. N. Vil Ams</name><name sortKey="Vinberg, E B" sort="Vinberg, E B" uniqKey="Vinberg E" first="E. B." last="Vinberg">E. B. Vinberg</name><name sortKey="Vinogradova, I A" sort="Vinogradova, I A" uniqKey="Vinogradova I" first="I. A." last="Vinogradova">I. A. Vinogradova</name><name sortKey="Vo Tsekhovski, M I" sort="Vo Tsekhovski, M I" uniqKey="Vo Tsekhovski M" first="M. I." last="Vo Tsekhovski">M. I. Vo Tsekhovski</name><name sortKey="Voevodin, V V" sort="Voevodin, V V" uniqKey="Voevodin V" first="V. V." last="Voevodin">V. V. Voevodin</name><name sortKey="Volkov, I I" sort="Volkov, I I" uniqKey="Volkov I" first="I. I." last="Volkov">I. I. Volkov</name><name sortKey="Volovich, I V" sort="Volovich, I V" uniqKey="Volovich I" first="I. V." last="Volovich">I. V. Volovich</name><name sortKey="Voronin, S M" sort="Voronin, S M" uniqKey="Voronin S" first="S. M." last="Voronin">S. M. Voronin</name><name sortKey="Yakubovich, V A" sort="Yakubovich, V A" uniqKey="Yakubovich V" first="V. A." last="Yakubovich">V. A. Yakubovich</name><name sortKey="Zhavrid, N S" sort="Zhavrid, N S" uniqKey="Zhavrid N" first="N. S." last="Zhavrid">N. S. Zhavrid</name><name sortKey="Zolotarev, V M" sort="Zolotarev, V M" uniqKey="Zolotarev V" first="V. M." last="Zolotarev">V. M. Zolotarev</name><name sortKey="Zorich, V A" sort="Zorich, V A" uniqKey="Zorich V" first="V. A." last="Zorich">V. A. Zorich</name></noCountry></tree></affiliations></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Mathematiques/explor/BourbakiV1/Data/Istex/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001A27 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Checkpoint/biblio.hfd -nk 001A27 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Mathematiques
|area= BourbakiV1
|flux= Istex
|étape= Checkpoint
|type= RBID
|clé= ISTEX:531030899AF5495A6F5F73EE07D1B6C37A176FD4
|texte= L
}}
| This area was generated with Dilib version V0.6.33. |  |