Naturality of the conditional and the recursion∗
From MaRDI portal
Publication:3477993
DOI10.1080/00207169008803886zbMath0699.68107MaRDI 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
68Q55: Semantics in the theory of computing
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
18A23: Natural morphisms, dinatural morphisms
68N99: Theory of software
Related Items
Cites Work