Title: Initial computability, algebraic specifications, and partial algebras
Subjects: Computer science, Data structures (Computer science), Mathematics, Partial algebras, Programming languages (Electronic computers), Semantics, Algèbre partielle, Sémantique langage programmation, Spécification algébrique, Structure donnée, Type abstrait, Informatique, Mathématiques, Langages de programmation, Sémantique, Computer science, mathematics, Computable functions