Title: Typed lambda calculi and applications
Subjects: Congresses, Lambda calculus, Mathematical Logic and Formal Languages, Programming Techniques, Symbolic and mathematical Logic, Logic design, Logics and Meanings of Programs, Computer science, Mathematical Logic and Foundations, Calculus