Semantic Foundations of Programming.

Yuri Leonidovich Ershov, Sergei S. Goncharov, Dmitri Ivanovich Sviridenko

Browse the full FCT paper archive.