Slides for Semantics of Programming Languages for Computer science's students