Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms

DOI10.1007/BF02366439zbMath0834.18004OpenAlexW1990331110WikidataQ114852613 ScholiaQ114852613MaRDI QIDQ1905220

A. I. Provotar'

Publication date: 8 February 1996

Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf02366439

zbMATH Keywords

data structurestoposcomputabilitycomposition schemecomputable morphisms

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) General topics in the theory of software (68N01)

Related Items (1)

A methodology of structured-modular composition programming

Cites Work

• Topoi. The categorial analysis of logic
• Theoretical aspects of structured-modular composition programming: Algebra of morphisms
• CASE system for structured modular composition programming: Conceptual fundamentals

This page was built for publication: Theoretical aspects of structured-modular composition programming: Computability of the operations of the algebra of morphisms