Algebras, polynomials and programs

DOI10.1016/0304-3975(90)90150-GMaRDI QIDQ802882zbMATH OpenFDO

Authors Eric G. Wagner

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

substitutioniterationpolynomialsrecursionapplications of ideas from universal algebra and category theory to the definition and semantics of programming languagesflowchart program semanticsformal equationsLawvere algebraic theoriesmany-sorted universal algebrasrecursive program semantics

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70)

Recommendations

• Polynomial algorithms in computer algebra
• Computer algebra and polynomials. Applications of algebra and number theory
• scientific article; zbMATH DE number 7779293
• Computation in polynomial algebras and ideals
• scientific article; zbMATH DE number 517393
• scientific article; zbMATH DE number 977284
• scientific article; zbMATH DE number 4110824

Cites work

• scientific article; zbMATH DE number 3918620 (Why is no real title available?)
• scientific article; zbMATH DE number 3987347 (Why is no real title available?)
• scientific article; zbMATH DE number 4039263 (Why is no real title available?)
• scientific article; zbMATH DE number 3731311 (Why is no real title available?)
• scientific article; zbMATH DE number 3769855 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 3562490 (Why is no real title available?)
• scientific article; zbMATH DE number 3227055 (Why is no real title available?)
• scientific article; zbMATH DE number 3290336 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• Canonical constraints for parameterized data types
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Recursion and iteration in continuous theories: the M-construction

Cited in

(18)

• Full abstraction and recursion
• scientific article; zbMATH DE number 4212483 (Why is no real title available?)
• Algebra. Polynomials, Galois theory and applications in informatics. Course and corrected exercises
• Universal algebra in higher types
• Some fundamental algebraic tools for the semantics of computation: II. Signed and abstract theories
• scientific article; zbMATH DE number 4039263 (Why is no real title available?)
• scientific article; zbMATH DE number 7779293 (Why is no real title available?)
• scientific article; zbMATH DE number 4001450 (Why is no real title available?)
• Topology, domain theory and theoretical computer science
• scientific article; zbMATH DE number 63120 (Why is no real title available?)
• Computation in polynomial algebras and ideals
• scientific article; zbMATH DE number 4147499 (Why is no real title available?)
• scientific article; zbMATH DE number 3936467 (Why is no real title available?)
• Towards a calculus of algorithms
• Polynomial algorithms in computer algebra
• Categorial generalization of algebraic recursion theory
• Algebraic polymorphisms
• Computer algebra and polynomials. Applications of algebra and number theory

This page was built for publication: Algebras, polynomials and programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q802882)