Programming languages and software engineering

Yuri Gurevich

SIGACT NEWS 17 | April 1986

Andreas Blass, Yuri Gurevich

Annals of Pure and Applied Logic 32 (1986), 1-16 | April 1986, Vol 32: pp. 1-16

Yuri Gurevich

Model-Theoretical Logics eds. Jon Barwise and Sol Feferman Springer-Verlag, Perspective in Mathematical Logic | 1985

Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | August 1985, Vol 50: pp. 668-681

Yuri Gurevich

85T-68-203 | August 1985

Abstracts, American Mathematical Society

Simon Peyton Jones

Software—Practice & Experience | August 1985, Vol 15: pp. 807-820

Andreas Blass, Yuri Gurevich, D. Kozen

Information and Control | April 1985, Vol 67: pp. 70-90

W. D. Goldfarb, Yuri Gurevich, Saharon Shelah

Journal of Symbolic Logic | December 1984, Vol 49: pp. 1253-1261

Rod Burstall, Butler Lampson

International Symposium on Semantics of Data Types | September 1984

Also Digital SRC Research Report 1, September 1984. A later version appeared as "Pebble: A kernel language for modules and abstract data types" in Information and Computation 76, 2/3 (Feb./Mar. 1988), pp 278-346

Yuri Gurevich

“Computation and Proof Theory” (Ed. M. Richter et al.) Springer Lecture Notes in Math | July 1984, Vol 1104: pp. 175-216