Mathematics of Program Construction

DOI10.1007/b98756zbMath1106.68331OpenAlexW2492557863MaRDI QIDQ5313105

Jeremy Gibbons

Publication date: 26 August 2005

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98756

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Folding over neural networks ⋮ Coinduction for exact real number computation

This page was built for publication: Mathematics of Program Construction