Naturality of the conditional and the recursion∗

DOI10.1080/00207169008803886zbMath0699.68107OpenAlexW2109001285MaRDI QIDQ3477993

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

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

functorscategorical semanticsnatural transformations

Mathematics Subject Classification ID

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

Related Items (1)

On the discretization in time for a parabolic integrodifferential equation with a weakly singular kernel. I: Smooth initial data

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item

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