Showing 1 - 4 results of 4 for search 'Piotr Polesiuk', query time: 1.92s Refine Results
  1. 1
    Logical relations for coherence of effect subtyping

    Logical relations for coherence of effect subtyping by Dariusz Biernacki, Piotr Polesiuk

    Published 2018-01-01
    Get full text
    Article
  2. 2
    Bisimulations for Delimited-Control Operators

    Bisimulations for Delimited-Control Operators by Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

    Published 2019-05-01
    Get full text
    Article
  3. 3
    Proving Soundness of Extensional Normal-Form Bisimilarities

    Proving Soundness of Extensional Normal-Form Bisimilarities by Dariusz Biernacki, Serguei Lenglet, Piotr Polesiuk

    Published 2019-03-01
    Get full text
    Article
  4. 4
    Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

    Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation by Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

    Published 2017-09-01
    Get full text
    Article

Search Tools: