Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2015, December 1
Author: Günther, Stephan
Title: Institutions Exemplified 2: Morphisms


In this follow up talk to "Institutions Exemplified" we will have a closer look at one of the defining concepts of Institutions, namely the "Satisfaction Condition". We'll also recap the examples of institutions of the previous talk and use them to have look at examples of Signature Morphisms and Institution Comorphisms.
Back to the Oberseminar web page