Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

A Gentzen-Style Monadic Translation of Gödel's System T.. FSCD, Volume 167 von LIPIcs, Seite 25:1-25:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)A generic type system for featherweight Java., und . FTfJP@ECOOP, Seite 9-15. ACM, (2021)A constructive manifestation of the Kleene-Kreisel continuous functionals., und . Ann. Pure Appl. Log., 167 (9): 770-793 (2016)A Constructive Model of Uniform Continuity., und . TLCA, Volume 7941 von Lecture Notes in Computer Science, Seite 236-249. Springer, (2013)Specifying a Usage Control System., , , , und . SACMAT, Seite 193-200. ACM, (2023)Type-based Enforcement of Infinitary Trace Properties for Java., , und . PPDP, Seite 18:1-18:14. ACM, (2021)A continuous computational interpretation of type theories.. University of Birmingham, UK, (2015)British Library, EThOS.The Inconsistency of a Brouwerian Continuity Principle with the Curry-Howard Interpretation., und . TLCA, Volume 38 von LIPIcs, Seite 153-164. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Type-Theoretic Approaches to Ordinals., , und . CoRR, (2022)Connecting Constructive Notions of Ordinals in Homotopy Type Theory., , und . MFCS, Volume 202 von LIPIcs, Seite 70:1-70:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)