Simplement pour ajouter que je suis tout à fait convaincu que dans les colloques-séminaires-conférences où il est question de lambda-calcul, comme à http://www.logique.jussieu.fr/semlam/98_99/ ou à http://lithwww.epfl.ch/teaching/tdl/ , il est strictement question de mathématiques (avec opérateurs abstraits sur les ensembles, transport de structure formelle d'un ensemble à l'autre, etc.) et qu'il n'y est pas du tout question de "mathématique du vivant intégrée dans la biologie cellulaire".
Pas plus que dans un colloque de mécanique quantique il n'est question de poltergeists et de pliage psychique de clés. Le lambda-calcul de Merlin est de la même farine que la MQ de Gatti.