Title: Typed Lambda Calculi and Applications
Subjects: Logic design, Symbolic and mathematical Logic, Computer science, Data processing, Algebra, Electronic data processing, Lambda calculus, Congresses, Logic, symbolic and mathematical, Mathematical Logic and Foundations, Computing Methodologies, Symbolic and Algebraic Manipulation, Logics and Meanings of Programs, Mathematics of Computing, Mathematical Logic and Formal Languages