Autor der Publikation

Timed Sets, Functional Complexity, and Computability.

, , , und . MFPS, Volume 286 von Electronic Notes in Theoretical Computer Science, Seite 117-137. Elsevier, (2012)

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

The logic of message passing, und . CoRR, (2007)What Is a Good Process Semantics?. MPC, Volume 4014 von Lecture Notes in Computer Science, Seite 1-3. Springer, (2006)Complete Positivity for Mixed Unitary Categories., und . CoRR, (2019)Integral Categories and Calculus Categories., und . CSL, Volume 82 von LIPIcs, Seite 20:1-20:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Restriction categories III: colimits, partial limits and extensivity., und . Math. Struct. Comput. Sci., 17 (4): 775-817 (2007)Shapely Types and Shape Polymorphism., und . ESOP, Volume 788 von Lecture Notes in Computer Science, Seite 302-316. Springer, (1994)Tangent Categories from the Coalgebras of Differential Categories., , und . CSL, Volume 152 von LIPIcs, Seite 17:1-17:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)SProc Categorically., und . CONCUR, Volume 836 von Lecture Notes in Computer Science, Seite 146-159. Springer, (1994)Classical Distributive Restriction Categories., und . CoRR, (2023)Reverse Derivative Categories., , , , , , und . CSL, Volume 152 von LIPIcs, Seite 18:1-18:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)