Handbook of Logic in Computer Science: Volume 2. Background: Computational Structures

Part of a multi-volume work that has been designed to cover all major areas of the application of logic to theoretical computer science, this book explores term rewriting systems, Lambda calculi with types, elements of algorithmic proof, ...