notes made during the School on Mixed Computation

The author recommends a name of the addressee's work and makes remarks on it.

Translation contract for the book

The author confirms the Nikolai N. Nepeivoda's readiness to a competition for a degree of a Doctor of Science and recommends two variants of a title of his doctoral thesis.

on the paper "Proof transformations as program transformations" by N.N. Nepeivoda

by N.N. Nepeivoda "Analogs of partial evaluation and mixed computation in a logical approach"

The authors ask about the date of delivery of the last part of the translated manuscript and send over materials received fron Gries

Request to give a review on the theme of a doctoral dissertation (two variants are proposed) for confirming it by the Academic Counsil. The list of the author's main works on the dissertation theme is attached.

"Proof transformations as program transformations" (the 2nd variant)

"International Symposium on Algorithms in Modern Mathematics and Computer Science" - a report for "Bulletin of the European Association for Theoretical Computer Science (EATCS)", 1980, No. 10

"Proof transformations as program transformations" (the 1st variant)

by Kreczmar, Letichevsky, Mazurkiewicz, Manin, Nepeivoda, Tyugu, van Vijngaarden

of posting the papers on mixed computation