Algebraically Coherent Languages for Ecient Algorithm Construction. Universal Languages and Optimal Principle.

The author uses some methods of categorical algebra in order to state the properties that optimal languages must satisfy for allowing ecient algorithm construction, and the universal-language concept is introduced.