Small specifications for large finite data structures

DOI10.1080/00207168108803253zbMath0468.68022OpenAlexW2092773468MaRDI QIDQ3922143

Jan A. Bergstra, John-Jules Ch. Meyer

Publication date: 1981

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

initial algebra specification

Mathematics Subject Classification ID

Data structures (68P05) Applications of computability and recursion theory (03D80) Theory of numerations, effectively presented structures (03D45)

Cites Work

• Data type specification
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Small specifications for large finite data structures