Bach, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
Bach, A. (1996). Static analysis of functional programs via Linear Logic. Master Thesis, Universität des Saarlandes, Saarbrücken.