Paul Levy

21 - 30 out of 42Page size: 10

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 journal › Article

  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 journal › Article

  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 journal › Article

Previous 1 2 3 4 5 Next