Tutorials under 'Closure Semantics'