Title: Typed Lambda Calculi and Applications
Subjects: Lambda calculus, Congresses