Paul Levy

Publications

  1. Published

    Coproducts of Monads on Set

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

    Research output: Contribution to conference (unpublished)Paper

  2. Published
  3. Published

    Higher-order Containers

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

    Research output: Contribution to conference (unpublished)Paper

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

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

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

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

  8. Published

    Combining continuations with other effects

    Paul Levy, 1 Jan 2004.

    Research output: Contribution to conference (unpublished)Paper

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

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

Previous 1 2 3 4 5 Next