Generalized implication equation languages
Norman Foo, Roslyn B. Riley · Journal of the Australian Mathematical Society Series A Pure Mathematics and Statistics · 1985
Abstract The calculus for equational implication languages given by Selman is generalized to handle the logical equivalent if the if…then…else… construct of high level programming languages. The relevance of these results to current investigations in the algebraic specifications of data types is discussed.