Hostname: page-component-8448b6f56d-t5pn6 Total loading time: 0 Render date: 2024-04-24T17:32:06.012Z Has data issue: false hasContentIssue false

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

Published online by Cambridge University Press:  20 July 2015

STEFANO GUERRINI
Affiliation:
LIPN, UMR CNRS 7030, Université Paris 13, Sorbonne Paris Cité, Villetaneuse, France Email: stefano.guerrini@univ-paris13.fr
HENK BARENDRENGT
Affiliation:
Institute for Computing and Information Sciences, Radboud University, Nijmegen, the Netherlands Email: henk@cs.ru.nl
ADOLFO PIPERNO
Affiliation:
Dipartimento di Informatica, Universitá di Roma La Sapienza, Rome, Italy Email: piperno@di.uniroma1.it
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

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.

Type
Editorial Preface
Copyright
Copyright © Cambridge University Press 2015