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

Previous 1 2 3 Next