On new roles for categorical algebra

DOI10.1016/0022-4049(80)90095-XzbMath0445.18006MaRDI QIDQ1145206

Calvin C. Elgot

Publication date: 1980

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

zbMATH Keywords

stackscategorical algebratheoretical computer sciencefinitely describable mathematics

Mathematics Subject Classification ID

Special categories (18B99) Theories (e.g., algebraic theories), structure, and semantics (18C10) Theory of computing (68Q99)

Related Items (1)

In memoriam Calvin C. Elgot

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abstract data types and software validation
• Categorical algebra
• Mathematics and Logic

This page was built for publication: On new roles for categorical algebra