Paul Levy

Publications

  1. 2019
  2. Accepted/In press

    Coinductive resumption monads: guarded iterative and guarded Elgot

    Paul Levy & Goncharov, S., 27 May 2019, (Accepted/In press) 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). Roggenbach, M. & Sokolova, A. (eds.). Schloss Dagstuhl, 18 p. (LIPIcs–Leibniz International Proceedings in Informatics ).

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

  3. Accepted/In press

    Strong functors on many-sorted sets

    Paul Levy, 7 May 2019, (Accepted/In press) In : Commentationes Mathematicae Universitatis Carolinae. 8 p.

    Research output: Contribution to journalArticle

  4. 2018
  5. Published

    Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies

    Bowler, N., Paul Levy & Plotkin, G., 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

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

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

  8. Published

    Steps and Traces

    Jacobs, B., Paul Levy & Rot, J., 2018, Proceedings of the 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018). Springer, p. 122-143 (Lecture Notes in Computer Science ).

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

  9. 2017
  10. Published

    A monad for full ground reference cells

    Kammar, O., Paul Levy, Moss, S. K. & Staton, S., 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

  11. Published

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

    Dal Lago, U., Gavazzo, F. & 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

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

  13. 2016
  14. Published

    Iteration and labelled iteration

    Geron, B. & 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

Previous 1 2 3 4 5 Next