scientific article
From MaRDI portal
Publication:3838013
zbMath0900.68164MaRDI QIDQ3838013
Publication date: 3 August 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05)
Related Items (8)
Components as coalgebras: the refinement dimension ⋮ Transposing partial components--an exercise on coalgebraic refinement ⋮ Towards a linear algebra of programming ⋮ A calculus for generic, QoS-aware component composition ⋮ Zippy Tabulations of Recursive Functions ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ Final Dialgebras: From Categories to Allegories ⋮ Datatype-generic termination proofs
This page was built for publication:
