Initial computability, algebraic specifications, and partial algebras

Initial computability, algebraic specifications, and partial algebras
Details
- OL Work ID
- OL4721493W
Subjects
Computer scienceData structures (Computer science)MathematicsPartial algebrasProgramming languages (Electronic computers)SemanticsAlgèbre partielleSémantique langage programmationSpécification algébriqueStructure donnéeType abstraitInformatiqueMathématiquesLangages de programmationSémantiqueComputer science, mathematicsComputable functions