scientific article

zbMath0792.68101MaRDI QIDQ3986951

John W. Gray

Publication date: 28 June 1992

Full work available at URL: https://eudml.org/doc/193037

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

algebraic theoriesMathematicasymbolic programalgebraic specificationnatural numbersabstract data typestheory of sketches

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Abstract data types; algebraic specification (68Q65) Topoi (18B25) Graphs, diagram schemes, precategories (18A10)

Related Items (1)

Unnamed Item

Uses Software

• Mathematica

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Parameter passing in algebraic specification languages
• Categorical aspects of data type constructors
• Formal category theory: Adjointness for 2-categories
• Parameterized Programming
• On the essentially-algebraic theory generated by a sketch
• Data Type Specification: Parameterization and the Power of Specification Techniques
• Algebra valued functors in general and tensor products in particular
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES

This page was built for publication: