Semantical Reflection for Computational Structures

The slides for this talk presenting current activities around semantic reflection at IFI are available here.