Stern-Brocot Tree

MaRDI QIDQ40274swMATHFDO

Authors Peter Gammie, Andreas Lochbihler

Publication date 22 December 2015

Official website https://www.isa-afp.org/entries/Stern_Brocot.html

Cites work

• Applicative programming with effects
• Concrete stream calculus: an extended study
• Unnamed Publication
• Unnamed Publication
• Loopless Functional Algorithms
• Mathematics of program construction. 9th international conference, MPC 2008, Marseille, France, July 15--18, 2008. Proceedings
• Recounting the Rationals: Twice!
• The Bird Tree

Cited in

(7)

• A decision procedure for (co)datatypes in SMT solvers
• Equational Reasoning with Applicative Functors
• Friends with benefits. Implementing corecursion in foundational proof assistants
• RADA
• HOLCF
• Applicative Lifting
• Meta Model Isabelle

This page was built for software: Stern-Brocot Tree