Continuous Data Types

DOI10.1137/0211016zbMath0479.68016OpenAlexW2019838596MaRDI QIDQ3938467

Thomas S. E. Maibaum, Michael R. Levy

Publication date: 1982

Published in: SIAM Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1137/0211016

zbMATH Keywords

abstract data typescontinuous domainslistsinitial algebra semantics

Mathematics Subject Classification ID

Data structures (68P05)

Related Items

Algebraic semantics and complexity of term rewriting systems, Full abstraction and limiting completeness in equational languages, Implementation of data types by algebraic methods