The generic approximation lemma

DOI10.1016/S0020-0190(00)00220-9MaRDI QIDQ1603477zbMATH OpenOpenAlexWikidataFDO

Authors Graham 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, http://eprints.nottingham.ac.uk/225/

zbMATH Keywords

Functional programmingProgramming calculi

Mathematics Subject Classification ID

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

Recommendations

• Generalization of an approximation inequality
• A note on generalized approximation property
• A generalized Goursat lemma
• scientific article; zbMATH DE number 1558373
• A generalized Bernstein approximation theorem
• A generalized Bernstein approximation theorem
• A generalization of Gale's lemma
• scientific article; zbMATH DE number 3593644
• Generalization of Holmgren's lemma

Cites work

• scientific article; zbMATH DE number 3707731 (Why is no real title available?)
• scientific article; zbMATH DE number 1231459 (Why is no real title available?)
• scientific article; zbMATH DE number 941166 (Why is no real title available?)
• Proof methods for corecursive programs
• The Category-Theoretic Solution of Recursive Domain Equations

Cited in

(5)

• A General Approach to the Fitting Lemma
• Algebras, coalgebras, monads and comonads
• Bounded Least General Generalization
• Into the Infinite - Theory Exploration for Coinduction
• A contextual formalization of structural coinduction

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: The generic approximation lemma

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