We are very proud and honoured to dedicate this volume to Corrado Böhm, who has been for us a teacher, mentor, colleague, and friend. But most of all, he was a brilliant role-model to follow.
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday / Guerrini, Stefano; Barendrengt, Henk; Piperno, Adolfo. - In: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE. - ISSN 0960-1295. - ELETTRONICO. - (2015), pp. 1-3. [10.1017/S0960129515000274]
Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday
PIPERNO, Adolfo
2015
Abstract
We are very proud and honoured to dedicate this volume to Corrado Böhm, who has been for us a teacher, mentor, colleague, and friend. But most of all, he was a brilliant role-model to follow.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
