Naturality of the conditional and the recursionFootnote^∗

^∗Supported by a Research Project of the Galicia Government

References

• Dijkstra , E.W. 1976 . A discipline of programming , Prentice-Hall .
   Google Scholar
• Curien , P.L. and Obtulowicz , A. 1987 . Partiality, Cartesian Closedness and Toposes , 87 – 3 . LIENS . Rapport de Recherche
   Google Scholar
• Arbib Manes , E. 1986 . Algebraic Approaches to Program Semantics , Springer-Verlag .
   Google Scholar
• Manes , E. 1986 . “ Additive domains ” . In L.N.C.S , Vol. 239 , 184 – 195 . Springer-Verlag .
   Google Scholar
• Manes , E. 1988 . “ Assertional categories ” . In L.N.C.S , Vol. 298 , 85 – 120 . Springer-Verlag .
   Google Scholar
• Manes , E. . Algebraic Semantics . Seminar in Mallorca . March , Spain
   Google Scholar
• Rydeheard , D.E. and Burstall , R.M. 1988 . Computational Category Theory , Prentice-Hall .
   Google Scholar
• Rydeheard , David E. 1985 . “ Tutorials ” . In L.N.C.S , Vol. 240 , 43 – 57 . Springer-Verlag .
   Google Scholar
• Wagner , Eric G. 1985 . “ Categories, data types and imperative languages ” . In L.N.C.S , Vol. 240 , 143 – 162 . Springer-Verlag .
   Google Scholar