When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. Further Reading. by Benjamin C. Pierce. Benjamin C. Pierce is Professor of Computer and Information Science at the University of Pennsylvania.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.