( en | de | ru )

 

Disambiguierung von "Polesiuk, Piotr"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fully Abstract Encodings of $łambda$-Calculus in HOcore through Abstract Machines.

, , , , , und . Log. Methods Comput. Sci., (2024)

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.

Sven Piotrowiak

Katja Piotrowski

Berthold Piotrowski

Heinz Piotrowski

Zana Piotrowski

 

Weitere Publikationen von Autoren mit dem selben Namen

Typed Equivalence of Effect Handlers and Delimited Control., , und . FSCD, Volume 131 von LIPIcs, Seite 30:1-30:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Complete Normal-Form Bisimilarity for State., , und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 98-114. Springer, (2019)Logical Relations for Coherence of Effect Subtyping., und . TLCA, Volume 38 von LIPIcs, Seite 107-122. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Fully abstract encodings of λ-calculus in HOcore through abstract machines., , , , , und . LICS, Seite 1-12. IEEE Computer Society, (2017)Equational Theories and Monads from Polynomial Cayley Representations., , und . FoSSaCS, Volume 11425 von Lecture Notes in Computer Science, Seite 453-469. Springer, (2019)A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers., , und . FSCD, Volume 167 von LIPIcs, Seite 7:1-7:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)Fully Abstract Encodings of $łambda$-Calculus in HOcore through Abstract Machines., , , , , und . Log. Methods Comput. Sci., (2024)