Jean-Jacques Levy
Corrado was always very kind with me. In 1974, he invited me for a couple of weeks in Roma, although I was brand new in theoretical computer science. I was impressed by his professoral way of speaking. It was very hard for me to understand him. But I well remember Dana Scott saying in 1973 that the only interesting theorem of lambda-calculus was proved by Bohm. Surely it was the first of many others later named as ‘Full abstraction semantics’ theorems (there was a trick in it with the use of a magico combinatore). He also had that Cuch paper that I read several times, trying to dig out the difference with Landin’s SECD machine. The Cuch machine was proudly implemented on Corrado's personal pocket calculator. Another story was that talk at CNAM in LICS 1994 in Paris where there was panic since Corrado loose one slide. Long interrupt with the CNAM aids trying to find out that slide… finally the slide was already on the projector but hidden by a cover. More seriously, Corrado Bohm was Head of an impressive italian club (the 3 bohm'ettes :-) Dezani, Ronchi, Veneri + Micali) that I all met at La Châtre in 1978. They all became renowned professors. He passed away. Very sad. My sincere condolences to his family.