scientific article; zbMATH DE number 1183283

MaRDI QIDQ3838013zbMATH OpenFDO

Authors Paul F. Hoogendijk

Publication date 3 August 1998

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05)

Cited in

(8)

• Datatype-generic termination proofs
• Towards a linear algebra of programming
• A calculus for generic, QoS-aware component composition
• Zippy Tabulations of Recursive Functions
• Final Dialgebras: From Categories to Allegories
• Extended Static Checking by Calculation Using the Pointfree Transform
• Components as coalgebras: the refinement dimension
• Transposing partial components--an exercise on coalgebraic refinement

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3838013)