Title: Typed lambda calculi and applications
Subjects: Congresses, Lambda calculus, Calculus