@MISC{Pucella_categoriesfor, author = {Riccardo Pucella}, title = {Categories for Imperative Semantics PLDG Seminar}, year = {} }
Bookmark
OpenURL
Abstract
The aim of these notes is to provide an introduction to category theory, and a motivation for its use in denotational semantics. I will do this by showing how to apply it to give an abstract semantics to a simple imperative language. These notes are loosely based