David Eric Rydeheard

• Applications of category theory to programming and program specification