Neuer Artikel in renommierter ACM-Zeitschrift angenommen

Der Artikel ?Dependently-Typed Higher-Order Logic” (Abh?ngig typisierte Logik h?herer Ordnung), mit Prof. Christoph Benzmüller als Co-Autor, wurde gerade in den ACM Transactions on Computational Logic angenommen. Der Artikel entstand aus der Masterarbeit in Mathematik von Colin Rothgang an der FU Berlin (jetzt am Imdea Software Institute, Spanien, und an der Universidad Politécnica de Madrid, Spanien), die von Benzmüller und Florian Rabe (FAU Erlangen) betreut wurde.