Paul Levy

Publications

  1. 2010
  2. Published

    Characterizing Recursive Programs up to Bisimilarity

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

    Research output: Contribution to conference (unpublished)Paper

  3. Published

    Higher-order Containers

    Paul Levy, 1 Jun 2010, p. 11-20. 10 p.

    Research output: Contribution to conference (unpublished)Paper

  4. 2009
  5. 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

  6. 2008
  7. Published

    Global State Considered Helpful, Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)

    Paul Levy, 22 Oct 2008, p. 241-259. 19 p.

    Research output: Contribution to conference (unpublished)Paper

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

  9. Published

    Infinite Trace Equivalence

    Paul Levy, 1 Feb 2008, In : Annals of Pure and Applied Logic. 151, 2-3, p. 170-198 29 p.

    Research output: Contribution to journalArticle

  10. 2007
  11. Published

    Typed normal form bisimulation

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

    Research output: Contribution to conference (unpublished)Paper

  12. Published

    Combining algebraic effects with continuations. Festschrift for John Reynolds' 70th birthday

    Paul Levy, 1 May 2007, In : Theoretical Computer Science. 375, 1-3, p. 20-40 21 p.

    Research output: Contribution to journalArticle

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

  14. 2006
  15. Published

    Call-By-Push-Value: Decomposing Call-By-Value and Call-By-Name

    Paul Levy, 1 Dec 2006, In : Higher-Order and Symbolic Computation. 19, 4, p. 377-414 38 p.

    Research output: Contribution to journalArticle