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

New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic, und . Inf. Comput., 98 (2): 171-210 (Juni 1992)Bisimulation and Co-induction (Tutorial). LICS, Seite 2-3. (1993)Encoding Abstract Syntax Without Fresh Names., und . J. Autom. Reasoning, 49 (2): 115-140 (2012)Process Calculus Based Upon Evaluation to Committed Form., und . Theor. Comput. Sci., 195 (2): 155-182 (1998)A New Approach to Abstract Syntax Involving Binders., und . LICS, Seite 214-224. IEEE Computer Society, (1999)Observable Properties of Higher Order Functions that Dynamically Create Local Names, or What's new?, und . MFCS, Volume 711 von Lecture Notes in Computer Science, Seite 122-141. Springer, (1993)Models of Type Theory Based on Moore Paths., und . CoRR, (2018)New Foundations for Fixpoint Computations, und . LICS, Seite 489-497. IEEE Computer Society, (1990)Decomposing the Univalence Axiom., und . TYPES, Volume 104 von LIPIcs, Seite 6:1-6:19. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Nominal Presentation of Cubical Sets Models of Type Theory.. TYPES, Volume 39 von LIPIcs, Seite 202-220. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2014)