Michael Walter

Phone: +49 176 61069923
Email: michael.walter@gmail.com
Curriculum vitae: pdf

• Peter H. Schmitt, Mattias Ulbrich and Michael Walter: A First-Order Logic with First-Class Types (2009) (preprint, KeY Symposium slides)