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

Initial Semantics for higher-order typed syntax in Coq., und . J. Formalized Reasoning, 4 (1): 25-69 (2011)Heterogeneous Substitution Systems Revisited., und . TYPES, Volume 69 von LIPIcs, Seite 2:1-2:23. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Categorical Structures for Type Theory in Univalent Foundations., , und . CSL, Volume 82 von LIPIcs, Seite 8:1-8:16. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations - Part II., , und . Math. Struct. Comput. Sci., 31 (4): 361-362 (2021)Initiality for Typed Syntax and Semantics.. WoLLIC, Volume 7456 von Lecture Notes in Computer Science, Seite 127-141. Springer, (2012)Non-Wellfounded Trees in Homotopy Type Theory., , und . TLCA, Volume 38 von LIPIcs, Seite 17-30. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2015)Initial Semantics for Reduction Rules.. Logical Methods in Computer Science, (2019)Categorical structures for type theory in univalent foundations., , und . Logical Methods in Computer Science, (2018)Displayed Categories., und . Logical Methods in Computer Science, (2019)Modules over relative monads for syntax and semantics. CoRR, (2011)