Algebraic Approaches to Program Semantics

In the 1930s, mathematical logicians studied the notion of 'effective comput­ ability' using such...