Naturality of the conditional and the recursion∗

DOI10.1080/00207169008803886zbMATH Open0699.68107OpenAlexW2109001285MaRDI QIDQ3477993FDOQ3477993

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

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

zbMATH Keywords

categorical semanticsnatural transformationsfunctors

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (3)

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

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)