Computing with lambda-terms: A special issue dedicated to Corrado Böhm for his 90th birthday

Autor: Stefano Guerrini, Adolfo Piperno, Henk Barendrengt
Rok vydání: 2015
Předmět:
Zdroj: Mathematical Structures in Computer Science, 27, 557-559
Mathematical Structures in Computer Science, 27, 5, pp. 557-559
ISSN: 1469-8072
0960-1295
DOI: 10.1017/s0960129515000274
Popis: 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.
Databáze: OpenAIRE