Logic and algebraic methods
Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum · Research Portal (King's College London) · 2000
1. Martin Lof's Type Theory 2. Categorical Logic 3. A Uniform Method for Proving Lower Bounds on the Computational complexity of Logical Theories 4. Algebraic specification of abstract data types 5. Computable Functions and Semicomputable Sets on Many-sorted Algebras