Paul Levy

Publications

  1. Published

    A monad for full ground reference cells

    Paul Levy, 18 Aug 2017, Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2017). IEEE Computer Society Press, 12 p.

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

  2. Published

    From Applicative to Environmental Bisimulation

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

    Research output: Contribution to conference (unpublished)Paper

  3. Published

    Proceedings 5th Workshop on Mathematically Structured Functional Programming

    Neelakantan Krishnaswami (ed.) & Paul Levy (ed.), 5 Jun 2014, Electronic Proceedings in Theoretical Computer Science. 167 p. (Electronic Proceedings in Theoretical Computer Science; vol. 153)

    Research output: Book/ReportBook

  4. Published

    Typed normal form bisimulation

    Paul Levy, 1 Aug 2007, p. 283-297. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  5. Published

    Typed Normal Form Bisimulation for Parametric Polymorphism

    Paul Levy, 27 Jun 2008, p. 341-352. 12 p.

    Research output: Contribution to conference (unpublished)Paper

  6. Published

    Infinite trace equivalence

    Paul Levy, Dan Ghica, 1 Jan 2005, p. 195-209. 15 p.

    Research output: Contribution to conference (unpublished)Paper

  7. 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

  8. Published

    Coinductive resumption monads: guarded iterative and guarded Elgot

    Paul Levy, 31 Dec 2019, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl, Vol. 139. p. 13:1--13:17 18 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

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

  9. Published

    Call-by-Push-Value: A Functional/Imperative Synthesis

    Paul Levy, 1 Jan 2003, Kluwer, Semantic Structures in Computation, 2.

    Research output: Book/ReportBook

  10. Published

    Infinite Trace Equivalence

    Paul Levy, 12 May 2006, p. 467-496. 30 p.

    Research output: Contribution to conference (unpublished)Paper