Paul Levy

Publications

  1. 2020
  2. Accepted/In press

    Steps and Traces

    Paul Levy, 3 Mar 2020, (Accepted/In press) In : Journal of Logic and Computation. 45 p.

    Research output: Contribution to journalArticle

  3. 2019
  4. 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

  5. Published

    Strong functors on many-sorted sets

    Paul Levy, 1 Dec 2019, In : Commentationes Mathematicae Universitatis Carolinae. 60, 4, p. 533-540

    Research output: Contribution to journalArticle

  6. 2018
  7. Published

    Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies

    Paul Levy, 11 Dec 2018, Proceedings of the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV). Staton, S. (ed.). p. 23-44 (Electronic Notes in Theoretical Computer Science; vol. 341).

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

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

  9. Published

    A Ghost at ω1

    Paul Levy, 26 Jul 2018, In : Logical Methods in Computer Science. 14, 3, 27 p., 4714.

    Research output: Contribution to journalArticle

  10. Published

    A Syntactic View of Computational Adequacy

    Marco Devesas Campos & Paul Levy, 14 Apr 2018, Foundations of Software Science and Computation Structures (FOSSACS 2018): 21st International Conference, FOSSACS 2018 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018 Thessaloniki, Greece, April 14–20, 2018 Proceedings. Baier, C. & Dal Lago, U. (eds.). Springer, Vol. 10803. p. 71-87 (Lecture Notes in Computer Science - Advanced Research in Computing and Software Science ; vol. 10803).

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

  11. 2017
  12. 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

  13. Published

    Effectful Applicative Bisimilarity: Monads, Relators, and the Howe's Method

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

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

  14. Published

    Contextual isomorphisms

    Paul Levy, 1 Jan 2017, POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages . Castagna, G. & Gordon, A. D. (eds.). Association for Computing Machinery , p. 400-414

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

  15. 2016
  16. Published

    Iteration and labelled iteration

    Paul Levy, 5 Oct 2016, Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016). Elsevier, p. 127-146 20 p. (Electronic Notes in Theoretical Computer Science ; vol. 325).

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

  17. Published

    Kripke semantics for full ground references (work in progress)

    Paul Levy, 10 Jul 2016. 2 p.

    Research output: Contribution to conference (unpublished)Abstract

  18. 2015
  19. Published

    Final Coalgebras from Corecursive Algebras

    Paul Levy, 21 Oct 2015, Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). Moss, L. S. & Sobocinski, P. (eds.). Schloss Dagstuhl, Vol. 35. p. 221-237 (Leibniz International Proceedings in Informatics; vol. 35).

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

  20. Published
  21. 2014
  22. 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

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

  24. 2013
  25. Published

    Universal properties of impure programming languages

    Paul Levy, 1 Jan 2013, p. 179-192.

    Research output: Contribution to conference (unpublished)Paper

  26. 2012
  27. Published

    Coproducts of Monads on Set

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

    Research output: Contribution to conference (unpublished)Paper

  28. 2011
  29. Published

    From Applicative to Environmental Bisimulation

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

    Research output: Contribution to conference (unpublished)Paper

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

  31. 2010
  32. Published

    Characterizing Recursive Programs up to Bisimilarity

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

    Research output: Contribution to conference (unpublished)Paper

  33. Published

    Higher-order Containers

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

    Research output: Contribution to conference (unpublished)Paper

  34. 2009
  35. 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

  36. 2008
  37. 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

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

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

  40. 2007
  41. Published

    Typed normal form bisimulation

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

    Research output: Contribution to conference (unpublished)Paper

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

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

  44. 2006
  45. 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

  46. Published

    Infinite Trace Equivalence

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

    Research output: Contribution to conference (unpublished)Paper

  47. Published

    Monads and Adjunctions for Global Exceptions

    Paul Levy, 5 May 2006, p. 261-287. 27 p.

    Research output: Contribution to conference (unpublished)Paper

  48. Published

    Infinitary Howe's Method

    Paul Levy, 1 Jan 2006, p. 85-104. 20 p.

    Research output: Contribution to conference (unpublished)Paper

  49. Published

    Jumbo Lambda-calculus

    Paul Levy, 1 Jan 2006, p. 444-455. 12 p.

    Research output: Contribution to conference (unpublished)Paper

  50. Published

    Jumping Semantics For Call-By-Push-Value

    Paul Levy & Hayo Thielecke, 1 Jan 2006, p. 27-40. 14 p.

    Research output: Contribution to conference (unpublished)Paper

  51. 2005
  52. Published

    Adjunction Models for Call-by-Push-Value with Stacks

    Paul Levy, 1 Jan 2005, In : Theory and Applications of Categories. 14, p. 75-110 36 p.

    Research output: Contribution to journalArticle

  53. Published

    Infinite trace equivalence

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

    Research output: Contribution to conference (unpublished)Paper

  54. 2004
  55. Published

    Combining continuations with other effects

    Paul Levy, 1 Jan 2004.

    Research output: Contribution to conference (unpublished)Paper

  56. 2003
  57. Published

    Modelling Environments in Call-by-value Programming Languages

    Paul Levy & Hayo Thielecke, 15 Sep 2003, In : Information and Computation. 185, p. 182-210 29 p.

    Research output: Contribution to journalArticle

  58. Published

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

    Paul Levy, 1 Jan 2003.

    Research output: Contribution to conference (unpublished)Paper

  59. Published

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

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

    Research output: Book/ReportBook

  60. 2002
  61. Published

    Possible world semantics for general storage in call-by-value

    Paul Levy, 1 Jan 2002, p. LNCS 232-246.

    Research output: Contribution to conference (unpublished)Paper