The generic approximation lemma

DOI10.1016/S0020-0190(00)00220-9zbMath1032.68050OpenAlexW2116542587WikidataQ124991351 ScholiaQ124991351MaRDI QIDQ1603477

G. Hutton, Jeremy Gibbons

Publication date: 14 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(00)00220-9

zbMATH Keywords

Functional programmingProgramming calculi

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items (2)

Into the Infinite - Theory Exploration for Coinduction ⋮ Algebras, Coalgebras, Monads and Comonads

Uses Software

• Haskell

Cites Work

• The Category-Theoretic Solution of Recursive Domain Equations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The generic approximation lemma