Continuity ∑—Algebras (Extended Abstract)

DOI10.1007/978-3-642-60539-0_5zbMath0867.68081OpenAlexW64897979MaRDI QIDQ4336090

Wilson R. de Oliveira

Publication date: 1997

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-60539-0_5

zbMATH Keywords

real number computationabstract data typeslazy functional languagescontinuity spaces

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

This page was built for publication: Continuity ∑—Algebras (Extended Abstract)