There are several theories of programming. The first usable theory, often called "Hoare's Logic", is still probably the most widely known. In it, a specificatio

This book unifies a broad range of programming language concepts under the framework of type systems and structural operational semantics.

A comprehensive introduction to type systems and programming languages. A type system is a syntactic method for automatically checking the absence of certain er

Drawing Programs: The Theory and Practice of Schematic Functional Programming describes a diagrammatic (schematic) approach to programming. It introduces a soph