"Abhängig getypte höherstufige Logik" - Neuer Artikel in ACM-Zeitschrift

Der Artikel „Dependently-Typed Higher-Order Logic” (Abhängig typisierte Logik höherer Ordnung), mit Prof. Christoph Benzmüller als Co-Autor, ist gerade gerade in den ACM Transactions on Computational Logic erschienen: https://dl.acm.org/doi/10.1145/3771725. 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.