Paul Levy
Publications
- 2020
- 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 journal › Article › peer-review
- 2019
- 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 proceeding › Conference contribution
- Published
Strong functors on many-sorted sets
Paul Levy, 1 Dec 2019, In: Commentationes Mathematicae Universitatis Carolinae. 60, 4, p. 533-540Research output: Contribution to journal › Article › peer-review
- 2018
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 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 journal › Article › peer-review
- 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 proceeding › Conference contribution
- 2017
- 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 proceeding › Conference contribution
- 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 proceeding › Conference contribution
- 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-414Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- 2016
- Published
Iteration and labelled iteration
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 proceeding › Conference contribution
- Published
Kripke semantics for full ground references (work in progress)
Paul Levy, 10 Jul 2016. 2 p.Research output: Contribution to conference (unpublished) › Abstract › peer-review
- 2015
- Published
Final Coalgebras from Corecursive Algebras
Paul Levy, 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 proceeding › Conference contribution
- Published
On Final Coalgebras of Power-Set Functors and Saturated Trees: To George Janelidze on the Occasion of His Sixtieth Birthday
Paul Levy, 1 Aug 2015, In: Applied Categorical Structures. 23, 4, p. 609-641Research output: Contribution to journal › Article › peer-review
- 2014
- Published
Transition systems over games
Paul Levy, 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 , 64Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
- Published
Proceedings 5th Workshop on Mathematically Structured Functional Programming
Neelakantan Krishnaswami (ed.) & Paul Levy (ed.), 5 Jun 2014, Electronic Proceedings in Theoretical Computer Science. 167 p. (Electronic Proceedings in Theoretical Computer Science; vol. 153)Research output: Book/Report › Book
- 2013
- Published
Universal properties of impure programming languages
Paul Levy, 1 Jan 2013, p. 179-192.Research output: Contribution to conference (unpublished) › Paper
- 2012
- Published
Coproducts of Monads on Set
Paul Levy, 1 Jun 2012, p. 45-54.Research output: Contribution to conference (unpublished) › Paper
- 2011
- Published
From Applicative to Environmental Bisimulation
Paul Levy, 1 Sep 2011, p. 215-235. 21 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Similarity Quotients as Final Coalgebras
Paul Levy, 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 proceeding › Conference contribution
- 2010
- Published
Characterizing Recursive Programs up to Bisimilarity
Paul Levy, 30 Aug 2010, p. 47-52. 6 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Higher-order Containers
Paul Levy, 1 Jun 2010, p. 11-20. 10 p.Research output: Contribution to conference (unpublished) › Paper
- 2009
- Published
Exploratory Functions on Nondeterministic Strategies, up to Lower Bisimilarity
Paul Levy, 8 Aug 2009, p. 357-375. 19 p.Research output: Contribution to conference (unpublished) › Paper
- 2008
- Published
Global State Considered Helpful, Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics (MFPS XXIV)
Paul Levy, 22 Oct 2008, p. 241-259. 19 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Typed Normal Form Bisimulation for Parametric Polymorphism
Paul Levy, 27 Jun 2008, p. 341-352. 12 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Infinite Trace Equivalence
Paul Levy, 1 Feb 2008, In: Annals of Pure and Applied Logic. 151, 2-3, p. 170-198 29 p.Research output: Contribution to journal › Article
- 2007
- Published
Typed normal form bisimulation
Paul Levy, 1 Aug 2007, p. 283-297. 15 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Combining algebraic effects with continuations. Festschrift for John Reynolds' 70th birthday
Paul Levy, 1 May 2007, In: Theoretical Computer Science. 375, 1-3, p. 20-40 21 p.Research output: Contribution to journal › Article
- Published
Amb Breaks Well-Pointedness, Ground Amb Doesn't
Paul Levy, 2 Apr 2007, p. 221-239. 19 p.Research output: Contribution to conference (unpublished) › Paper
- 2006
- Published
Call-By-Push-Value: Decomposing Call-By-Value and Call-By-Name
Paul Levy, 1 Dec 2006, In: Higher-Order and Symbolic Computation. 19, 4, p. 377-414 38 p.Research output: Contribution to journal › Article
- Published
Infinite Trace Equivalence
Paul Levy, 12 May 2006, p. 467-496. 30 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Monads and Adjunctions for Global Exceptions
Paul Levy, 5 May 2006, p. 261-287. 27 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Infinitary Howe's Method
Paul Levy, 1 Jan 2006, p. 85-104. 20 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Jumbo Lambda-calculus
Paul Levy, 1 Jan 2006, p. 444-455. 12 p.Research output: Contribution to conference (unpublished) › Paper
- Published
Jumping Semantics For Call-By-Push-Value
Paul Levy & Hayo Thielecke, 1 Jan 2006, p. 27-40. 14 p.Research output: Contribution to conference (unpublished) › Paper
- 2005
- Published
Adjunction Models for Call-by-Push-Value with Stacks
Paul Levy, 1 Jan 2005, In: Theory and Applications of Categories. 14, p. 75-110 36 p.Research output: Contribution to journal › Article
- Published
Infinite trace equivalence
Paul Levy, Dan Ghica, 1 Jan 2005, p. 195-209. 15 p.Research output: Contribution to conference (unpublished) › Paper
- 2004
- Published
Combining continuations with other effects
Paul Levy, 1 Jan 2004.Research output: Contribution to conference (unpublished) › Paper
- 2003
- Published
Modelling Environments in Call-by-value Programming Languages
Paul Levy & Hayo Thielecke, 15 Sep 2003, In: Information and Computation. 185, p. 182-210 29 p.Research output: Contribution to journal › Article
- Published
Adjunction Models for Call-by-push-value with Stacks
Paul Levy, 1 Jan 2003.Research output: Contribution to conference (unpublished) › Paper
- Published
Call-by-Push-Value: A Functional/Imperative Synthesis
Paul Levy, 1 Jan 2003, Kluwer, Semantic Structures in Computation, 2.Research output: Book/Report › Book
- 2002
- Published
Possible world semantics for general storage in call-by-value
Paul Levy, 1 Jan 2002, p. LNCS 232-246.Research output: Contribution to conference (unpublished) › Paper