Varieties of ”If-Then-Else“
- 1 November 1983
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 12 (4), 677-707
- https://doi.org/10.1137/0212047
Abstract
No abstract availableThis publication has 8 references indexed in Scilit:
- Compatible Orderings on the Metric Theory of TreesSIAM Journal on Computing, 1980
- Infinite trees in normal form and recursive equations having a unique solutionTheory of Computing Systems, 1979
- Conditional Expressions with Equality TestsJournal of the ACM, 1978
- Can programming be liberated from the von Neumann style?Communications of the ACM, 1978
- A canonical form algorithm for proving equivalence of conditional formsInformation Processing Letters, 1978
- Programming languages as mathematical objectsLecture Notes in Computer Science, 1978
- Fixpoint approach to the theory of computationCommunications of the ACM, 1972
- A Basis for a Mathematical Theory of Computation)Published by Elsevier ,1963