Title: Typed lambda calculi and applications
Subjects: Lambda calculus, Congresses, Logic design, Computer science, Calculus