Paul Levy
21 - 30 out of 42Page size: 10
Publications
- 2010
- Published
Characterizing Recursive Programs up to Bisimilarity
Paul Levy, 30 Aug 2010, p. 47-52. 6 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Higher-order Containers
Paul Levy, 1 Jun 2010, p. 11-20. 10 p.Research output: Contribution to conference (unpublished) › Paper
- 2009
- 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
- 2008
- 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
- 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
- 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
- 2007
- Published
Typed normal form bisimulation
Paul Levy, 1 Aug 2007, p. 283-297. 15 p.Research output: Contribution to conference (unpublished) › Paper
- 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
- 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
- 2006
- 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