Types for Programming and Reasoning - Janis Voigtländer
http://cig.in.tu-clausthal.de/ ... Important info about scripts, slides, exercises et ... A word equation over the alphabet ? in the variables ? is of.
Part of the document
http://cig.in.tu-clausthal.de/ ... Important info about scripts, slides, exercises et ... A word equation over the alphabet ? in the variables ? is of.
