Documents associated with H.P. Barendregt

Letter, H.P.Barendregt->A.P. Ershov, 30.07.1984
The author asks the addressee's advise on his journey to the USSR to visit the universities of Leningrad, Moscow and Novosibirsk. His book on the lambda calculus will appear in Russian translation and he wants to give some lectures.

Initial order | In alphabetical order | By date


Back

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016