documents   about archive   about project   Andrei Ershov   in Russian

Archive International Conferences, Seminars, Symposiums, Congresses, Schools, and Colloquiums International Workshop on Partial Evaluation and Mixed Computation Preparation for the Workshop Covering letter

	Covering letter to Prof. Bjorner, submission of the paper "Lambda-calculus, assignment operator and denotational semantics" to the program of the Workshop Date: 10.08.1987 Original document language: English Authors: V. Yu. Sazonov Persons: Andrei Petrovich Ershov Addressee: Dines Bjorner Images of pages: 1 Back Next document (A paper) Previous document (Covering letter)
	Switch to Russian | Search | Advanced search | Folders | Themes

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