documents   about archive   about project   Andrei Ershov   in Russian

Archive All-Union Conferences, Seminars, Symposiums, Schools All-Union School on Mixed Computation Abstracts Abstract

	Abstract of the paper "On Lambda-calculus with an Assignment Operator" and a covering letter Date: 23.06.1983 Original document language: Russian, English Authors: V. Yu. Sazonov Images of pages: 1 2 3 4 Back Next document (Abstract) Previous document (Abstract)
	Switch to Russian | Search | Advanced search | Folders | Themes

Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016