Recent publications
Article
Levy, P 2024, '', Notre Dame Journal of Formal Logic, pp. 79-141.
Levy, P 2022, '', Philosophia Mathematica, vol. 30, no. 3, nkac011, pp. 283-305.
Rot, J, Jacobs, B & Levy, P 2021, '', Journal of Logic and Computation, vol. 31, no. 6, pp. 1482鈥�1525.
Levy, PB 2019, '', Commentationes Mathematicae Universitatis Carolinae, vol. 60, no. 4, pp. 533-540.
Levy, P 2018, '', Logical Methods in Computer Science, vol. 14, no. 3, 4714.
Abstract
Levy, P 2016, '', 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, . in M Roggenbach & A Sokolova (eds), 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019). vol. 139, Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl, pp. 13:1--13:17, 8th Conference on Algebra and Coalgebra in Computer Science (CALCO 2019), London, United Kingdom, 3/06/19.
Devesas Campos, M & Levy, PB 2018, . 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.
Bowler, N, Levy, PB & Plotkin, G 2018, . 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.
Jacobs, B, Levy, P & Rot, J 2018, . in C Cirstea (ed.), 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. 1 edn, Lecture Notes in Computer Science , vol. 11202, Springer, pp. 122-143, 14th IFIP WG 1.3 International Workshop on Coalgebraic Methods in Computer Science (CMCS 2018), Thessaloniki, Greece, 14/04/18.
Kammar, O, Levy, PB, Moss, SK & Staton, S 2017, . 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.
Levy, PB 2017, . 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.
Dal Lago, U, Gavazzo, F & Levy, PB 2017, . in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). IEEE Computer Society Press, pp. 1-12, 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2017), Reykjavik, Iceland, 20/06/17.
Geron, B & Levy, P 2016, . 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.
Review article
Levy, P 2022, '', ACM SIGLOG News, vol. 9, no. 2, pp. 7. <>