Autor der Publikation

Contextual equivalence for inductive definitions with binders in higher order typed functional programming.

, und . J. Funct. Program., 23 (6): 658-700 (2013)

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

Bisimulation and Co-induction (Tutorial). LICS, Seite 2-3. (1993)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)Decomposing the Univalence Axiom., und . TYPES, Volume 104 von LIPIcs, Seite 6:1-6:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Nominal Presentation of Cubical Sets Models of Type Theory.. TYPES, Volume 39 von LIPIcs, Seite 202-220. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Encoding Abstract Syntax Without Fresh Names., und . J. Autom. Reason., 49 (2): 115-140 (2012)Locally Nameless Sets.. Proc. ACM Program. Lang., 7 (POPL): 488-514 (Januar 2023)Nominal Unificaiton., , und . CSL, Volume 2803 von Lecture Notes in Computer Science, Seite 513-527. Springer, (2003)Full abstraction for nominal Scott domains., und . POPL, Seite 3-14. ACM, (2013)Nominal system T.. POPL, Seite 159-170. ACM, (2010)