[PPT] - Categorical models of circuit description languages Bert PowerPoint Presentation