Paul Levy

Dr.

Accepting PhD Students

PhD projects

Paul Levy’s research has explored call-by-push-value, an endlessly fascinating programming calculus that underlies the call-by-value and call-by-name paradigms. More generally, he is interested in anything related to denotational semantics, including games, categories and nondeterminism.

20022022

Research activity per year

Filter
Conference contribution

Search results

  • 2019

    Coinductive resumption monads: guarded iterative and guarded Elgot

    Levy, P. B. & Goncharov, S., 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

    Open Access
    File
    102 Downloads (Pure)
  • 2018

    A Syntactic View of Computational Adequacy

    Devesas Campos, M. & Levy, P. B., 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

    Open Access
    1 Citation (Scopus)
  • Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies

    Bowler, N., Levy, P. B. & 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

    Open Access
    File
    1 Citation (Scopus)
    180 Downloads (Pure)
  • Steps and Traces

    Jacobs, B., Levy, P. & Rot, J., 20 Sept 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

    Open Access
    File
    1 Citation (Scopus)
    226 Downloads (Pure)
  • 2017

    A monad for full ground reference cells

    Kammar, O., Levy, P. B., 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

    Open Access
    File
    3 Citations (Scopus)
    200 Downloads (Pure)
  • Contextual isomorphisms

    Levy, P. B., 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

    3 Citations (Scopus)
  • Effectful applicative bisimilarity: monads, relators, and the Howe's method

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

    Open Access
    File
    12 Citations (Scopus)
    234 Downloads (Pure)
  • 2016

    Iteration and labelled iteration

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

    Open Access
    File
    3 Citations (Scopus)
    148 Downloads (Pure)
  • 2015

    Final Coalgebras from Corecursive Algebras

    Levy, P., 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

    Open Access
    3 Citations (Scopus)
  • 2014

    Transition systems over games

    Levy, P. B. & Staton, S., 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

    Open Access
    5 Citations (Scopus)
  • 2011

    Similarity Quotients as Final Coalgebras

    Levy, P. & Hoffman, M., 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

    23 Citations (Scopus)