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