Title: Typed lambda calculi and applications
Subjects: Congresses, Lambda calculus, Logic design, Computer science, Informatique, Informatique appliquée, Lambda-calcul typé, Lambda-calcul, Congrès, Calculus