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 journalArticlepeer-review

  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 journalArticlepeer-review

  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 journalArticlepeer-review

  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, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society Press, p. 1-12 30 p.

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

  14. Published

    Contextual isomorphisms

    Paul Levy, 21 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

Previous 1 2 3 4 5 Next