8 citations · 9 across the 4 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
Specifying Data Objects with Initial Algebras
Chris Preston
This study presents a systematic approach to specifying data objects with the help of initial algebras. The primary aim is to describe the set-up to be found in modern functional p…
math.HO2009★ 1 cited
Minimal counting systems and commutative monoids
Chris Preston
These notes present an approach to obtaining the basic operations of addition and multiplication on the natural numbers in terms of elementary results about commutative monoids.