A simple transfer lemma for algebraic specifications

DOI10.1016/0020-0190(82)90091-6zbMath0522.68025OpenAlexW2056155316WikidataQ124818292 ScholiaQ124818292MaRDI QIDQ5902688

Jan A. Bergstra, John-Jules Ch. Meyer

Publication date: 1982

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/12822

zbMATH Keywords

algebraic data typesequational and conditional specificationsinitial algebra semantics

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Data structures (68P05)

Related Items (1)

Crypt-equivalent algebraic specifications

This page was built for publication: A simple transfer lemma for algebraic specifications