1 - American mathematical society translations - Series 2 - Volume 17
Plotkin, B. I.   /   Cernikov, Sergei Nikolaevich (1912-1987)   /   Cernikov, N. V.

Cote : [20 PLO 61]

2 - Semantics of data types : International symposium Sophia-Antipolis, France, June 27 - 29, 1984, Proceedings
Kahn, Gilles (1946-2006) (Ed.)   /   Macqueen, David B. (1946-....) (Ed.)   /   Plotkin, Gordon (1946-....) (Ed.)

Cote : [77 KAH 84]