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