Computer Science University of Nottingham Nottingham / Princeton University / Linear Ordered Logic Andreas Abel Nicolai Kraus Theoretical Computer Science Institut f¨ur Informatik Ludwig-Maximilians-Universit¨at M¨unchen / /
Person
Andrew W. Appel / Andreas Abel / Bt / Nicolai Kraus / /
Position
principal candidate / second author / interpreter / /