Dr Paul Levy

Dr Paul Levy

School of Computer Science
Reader in Theoretical Computer Science

Contact details

Address
The School of Computer Science
University of Birmingham
Edgbaston
Birmingham
B15 2TT
UK

Dr Paul Levy is a Reader in Theoretical Computer Science and is a member of the Theory of Computation group at the University of Birmingham.

Please follow the link below to find out more about Paul's work:

Dr Paul Levy- personal webpage

Research

Denotational semantics, call-by-push-value, computational effects, nondeterminism, game semantics.

Publications

Recent publications

Book

Krishnaswami, N & Levy, P (eds) 2014, Proceedings 5th Workshop on Mathematically Structured Functional Programming. Electronic Proceedings in Theoretical Computer Science, vol. 153, vol. 153, Electronic Proceedings in Theoretical Computer Science. https://doi.org/10.4204/EPTCS.153

Article

Levy, PB 2019, 'Strong functors on many-sorted sets', Commentationes Mathematicae Universitatis Carolinae.

Levy, P 2018, 'A Ghost at ω1', Logical Methods in Computer Science, vol. 14, no. 3, 4714. https://doi.org/10.23638/LMCS-14(3:4)2018

Adámek, J, Levy, PB, Milius, S, Moss, LS & Sousa, L 2015, 'On Final Coalgebras of Power-Set Functors and Saturated Trees: To George Janelidze on the Occasion of His Sixtieth Birthday', Applied Categorical Structures, vol. 23, no. 4, pp. 609-641. https://doi.org/10.1007/s10485-014-9372-9

Abstract

Levy, P 2016, 'Kripke semantics for full ground references (work in progress)' LOLA 2016 - Syntax and Semantics of Low-Level Languages, New York, United States, 10/07/16 - 10/07/16, .

Conference contribution

Levy, PB & Goncharov, S 2019, Coinductive resumption monads: guarded iterative and guarded Elgot. in M Roggenbach & A Sokolova (eds), 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). LIPIcs–Leibniz International Proceedings in Informatics , Schloss Dagstuhl, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, United Kingdom, 3/06/19. https://doi.org/10.4230/LIPIcs.CALCO.2019.18

Bowler, N, Levy, PB & Plotkin, G 2018, Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies. in S Staton (ed.), Proceedings of the 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXXIV). Electronic Notes in Theoretical Computer Science, vol. 341, pp. 23-44, 34th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2018), Halifax, Canada, 6/06/18. https://doi.org/10.1016/j.entcs.2018.11.003

Devesas Campos, M & Levy, PB 2018, A Syntactic View of Computational Adequacy. in C Baier & U Dal Lago (eds), 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. vol. 10803, Lecture Notes in Computer Science - Advanced Research in Computing and Software Science , vol. 10803, Springer, pp. 71-87, 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018), Thessaloniki, Greece, 14/04/18. https://doi.org/10.1007/978-3-319-89366-2_4

Jacobs, B, Levy, P & Rot, J 2018, Steps and Traces. in Proceedings of the 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018). Lecture Notes in Computer Science , Springer, pp. 122-143, 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018), Thessaloniki, Greece, 14/04/18. https://doi.org/10.1007/978-3-030-00389-0

Kammar, O, Levy, PB, Moss, SK & Staton, S 2017, A monad for full ground reference cells. in Proceedings of 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS2017). IEEE Computer Society Press, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), Reykjavik, Iceland, 20/06/17. https://doi.org/10.1109/LICS.2017.8005109

Dal Lago, U, Gavazzo, F & Levy, PB 2017, Effectful Applicative Bisimilarity: Monads, Relators, and the Howe's Method. in Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017). IEEE Computer Society Press, pp. 1-12, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), Reykjavik, Iceland, 20/06/17. https://doi.org/10.1109/LICS.2017.8005117

Levy, PB 2017, Contextual isomorphisms. in G Castagna & AD Gordon (eds), POPL 2017: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages . Association for Computing Machinery , pp. 400-414, the 44th ACM SIGPLAN Symposium, Paris, France, 15/01/17. https://doi.org/10.1145/3009837.3009898

Geron, B & Levy, P 2016, Iteration and labelled iteration. in Proceedings of Mathematical Foundations of Programming Semantics XXXII, (MFPS 2016). Electronic Notes in Theoretical Computer Science , vol. 325, Elsevier, pp. 127-146, 32nd Conference on the Mathematical Foundations of Programming Semantics(MFPS XXXII), 23/05/16. https://doi.org/10.1016/j.entcs.2016.09.035

Levy, P 2015, Final Coalgebras from Corecursive Algebras. in LS Moss & P Sobocinski (eds), Proceedings 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015). vol. 35, Leibniz International Proceedings in Informatics, vol. 35, Schloss Dagstuhl, pp. 221-237, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015), Grenoble, France, 24/06/15. https://doi.org/10.4230/LIPIcs.CALCO.2015.221

Levy, PB & Staton, S 2014, Transition systems over games. in 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) ., 64, Association for Computing Machinery . https://doi.org/10.1145/2603088.2603150

View all publications in research portal