Bag for my work during the course of Theory of Programming Languages at University of Florence