Proving the unique fixed-point principle correct

DOI10.1145/2034773.2034821zbMath1323.68211OpenAlexW1942658187MaRDI QIDQ5176987

Ralf Hinze, Daniel W. H. James

Publication date: 5 March 2015

Published in: Proceedings of the 16th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2034773.2034821

zbMATH Keywords

bialgebrasdistributive lawsunique fixed-point

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Unnamed Item ⋮ Unifying structured recursion schemes

This page was built for publication: Proving the unique fixed-point principle correct