Christopher Strachey: A personal recollection
From MaRDI portal
Publication:1566870
DOI10.1023/A:1010005808988zbMath0951.01026MaRDI QIDQ1566870
Publication date: 4 December 2000
Published in: Higher-Order and Symbolic Computation (Search for Journal in Brave)
01A60: History of mathematics in the 20th century
01A70: Biographies, obituaries, personalia, bibliographies