Datatype laws without signatures

DOI10.1017/S0960129500000852zbMath0846.68069OpenAlexW2123574251MaRDI QIDQ4882491

Maarten M. Fokkinga

Publication date: 16 June 1996

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129500000852

zbMATH Keywords

transformerdatatype

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items (1)

On the construction of free algebras for equational systems

Cites Work

• Data structures and program transformation
• On the algebra of order
• Algebraic specification of data types: A synthetic approach
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Datatype laws without signatures