Faculty of Computer Science

Research Group Theoretical Computer Science


Oberseminar: Heterogene formale Methoden


Date: 2017, February 8
Author: Mossakowski, Till
Title: Monads

Abstract:

Monads are a notion from category theory that is very powerful with many applications. Monads can formalise and generalise both term substitutions as well as computational effects.


Slides


Back to the Oberseminar web page
Webmaster