Naturality of the conditional and the recursion∗

DOI10.1080/00207169008803886MaRDI QIDQ3477993zbMATH OpenOpenAlexFDO

Authors J. L. Freire Nistal, F. Aguado Martín

Publication date 1990

Published in International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1080/00207169008803886

zbMATH Keywords

categorical semanticsfunctorsnatural transformations

Mathematics Subject Classification ID

Natural morphisms, dinatural morphisms (18A23) General topics in the theory of software (68N01) Theory of software (68N99) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the naturality of the iteration and recursive specifications
• The category-theoretic solution of recursive program schemes
• A transformational characterization of if-then-else
• scientific article; zbMATH DE number 139984
• scientific article; zbMATH DE number 3999258

Cited in

(3)

• Naturality and definability II
• On the naturality of the iteration and recursive specifications
• On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data

This page was built for publication: Naturality of the conditional and the recursion^∗

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3477993)