Title: Logic and computation
Subjects: Computable functions, Congresses, Data processing, Fonctions calculables, Informatique, Congrès, Logique, Calculabilité, Lambda-calcul, Théorème Ramsey, Théorie Scott