Programming formalisms 'Programming Formalisms' course logo, by Jonas Söderberg and Lars Eklund Go to the nicely-rendered version of the course
