Piotr Polesiuk

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
A complete normal-form bisimilarity for algebraic effects and handlers	2026-02-24	Paper
Fully abstract encodings of -calculus in HOcore through abstract machines Logical Methods in Computer Science	2024-09-04	Paper
Typed equivalence of effect handlers and delimited control	2022-07-18	Paper
Diacritical companions	2022-04-29	Paper
Proving soundness of extensional normal-form bisimilarities	2022-04-25	Paper
Fully abstract encodings of \(\lambda \)-calculus in HOcore through abstract machines	2021-01-19	Paper
A complete normal-form bisimilarity for state	2020-01-28	Paper
Equational theories and monads from polynomial Cayley representations	2020-01-28	Paper
Bisimulations for delimited-control operators (available as arXiv preprint)	2019-05-24	Paper
Proving soundness of extensional normal-form bisimilarities (available as arXiv preprint)	2019-05-17	Paper
Logical relations for coherence of effect subtyping (available as arXiv preprint)	2018-02-20	Paper
Environmental bisimulations for delimited-control operators with dynamic prompt generation	2017-10-17	Paper
Environmental bisimulations for delimited-control operators with dynamic prompt generation (available as arXiv preprint)	2017-10-12	Paper
Logical relations for coherence of effect subtyping	2017-07-12	Paper

Research outcomes over time

This page was built for person: Piotr Polesiuk