scientific article
From MaRDI portal
Publication:3138835
zbMath0805.03034MaRDI QIDQ3138835
Publication date: 11 November 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
cut eliminationcomputabilityformal systemsabstract data typesmany-sorted algebras\(\mu\)-recursivenessprimitive recursiveness
Applications of universal algebra in computer science (08A70) Abstract data types; algebraic specification (68Q65) Cut-elimination and normal-form theorems (03F05) Abstract and axiomatic computability and recursion theory (03D75)
Related Items (3)
Theory of computation over stream algebras, and its applications ⋮ Primitive recursive selection functions for existential assertions over abstract algebras ⋮ Computation by `While' programs on topological partial algebras
This page was built for publication:
