Paul Levy

Publications

  1. Conference contribution › Research
  2. Published

    Similarity Quotients as Final Coalgebras

    Paul Levy, 1 Jan 2011, Foundations of Software Science and Computational Structures: 14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany. Proceedings. Hofmann, M. (ed.). Springer, p. 27-41 15 p. (Lecture Notes in Computer Science; vol. 6604).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Steps and Traces

    Paul Levy, 20 Sep 2018, Coalgebraic Methods in Computer Science: 14th IFIP WG 1.3 International Workshop, CMCS 2018, Colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018, Revised Selected Papers. Cirstea, C. (ed.). Springer, p. 122-143 22 p. (Lecture Notes in Computer Science ; vol. 11202).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  4. Published

    Transition systems over games

    Paul Levy, 14 Jul 2014, CSL-LICS '14 - Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) . Association for Computing Machinery , 64

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  5. Paper › Research › Not peer-reviewed
  6. Published

    Adjunction Models for Call-by-push-value with Stacks

    Paul Levy, 1 Jan 2003.

    Research output: Contribution to conference (unpublished)Paper

  7. Published

    Amb Breaks Well-Pointedness, Ground Amb Doesn't

    Paul Levy, 2 Apr 2007, p. 221-239. 19 p.

    Research output: Contribution to conference (unpublished)Paper

  8. Published

    Characterizing Recursive Programs up to Bisimilarity

    Paul Levy, 30 Aug 2010, p. 47-52. 6 p.

    Research output: Contribution to conference (unpublished)Paper

  9. Published

    Combining continuations with other effects

    Paul Levy, 1 Jan 2004.

    Research output: Contribution to conference (unpublished)Paper

  10. Published

    Coproducts of Monads on Set

    Paul Levy, 1 Jun 2012, p. 45-54.

    Research output: Contribution to conference (unpublished)Paper

  11. Published

    Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity

    Paul Levy, 8 Aug 2009, p. 357-375. 19 p.

    Research output: Contribution to conference (unpublished)Paper

  12. Published

    From Applicative to Environmental Bisimulation

    Paul Levy, 1 Sep 2011, p. 215-235. 21 p.

    Research output: Contribution to conference (unpublished)Paper