Paul Blain Levy
From MaRDI portal
Person:857914
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Coinductive Resumption Monads: Guarded Iterative and Guarded Elgot | 2023-02-03 | Paper |
| Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies | 2022-05-03 | Paper |
| Steps and traces Journal Of Logic And Computation | 2021-10-21 | Paper |
| The Price of Mathematical Scepticism | 2021-07-27 | Paper |
| Effectful applicative bisimilarity: monads, relators, and Howe's method | 2021-01-19 | Paper |
| A monad for full ground reference cells | 2021-01-19 | Paper |
| Broad Infinity and Generation Principles (Part 1: classical set theory) | 2021-01-05 | Paper |
| Strong functors on many-sorted sets Commentationes Mathematicae Universitatis Carolinae | 2020-03-06 | Paper |
| A Theory of Particular Sets | 2019-05-07 | Paper |
| Steps and traces | 2018-10-23 | Paper |
| A ghost at \(\omega_1\) | 2018-08-15 | Paper |
| A syntactic view of computational adequacy | 2018-07-17 | Paper |
| Iteration and labelled iteration | 2018-04-23 | Paper |
| Transition systems over games 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) | 2018-04-23 | Paper |
| Formulating Categorical Concepts using Classes | 2018-01-25 | Paper |
| Contextual isomorphisms Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages | 2017-10-20 | Paper |
| Final coalgebras from corecursive algebras | 2017-07-11 | Paper |
| Coproducts of monads on Set 2012 27th Annual IEEE Symposium on Logic in Computer Science | 2017-05-16 | Paper |
| From applicative to environmental bisimulation Electronic Notes in Theoretical Computer Science | 2016-07-15 | Paper |
| Exploratory functions on nondeterministic strategies, up to lower bisimilarity Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
| On final coalgebras of power-set functors and saturated trees Applied Categorical Structures | 2015-08-03 | Paper |
| Amb Breaks Well-Pointedness, Ground Amb Doesn't Electronic Notes in Theoretical Computer Science | 2015-07-10 | Paper |
| Universal properties of impure programming languages Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2014-11-27 | Paper |
| Functional programs that explain their work Proceedings of the 17th ACM SIGPLAN international conference on Functional programming | 2014-07-21 | Paper |
| Global state considered helpful Electronic Notes in Theoretical Computer Science | 2014-05-13 | Paper |
| Infinitary Howe's method | 2013-12-04 | Paper |
| Monads and adjunctions for global exceptions | 2013-10-10 | Paper |
| Infinite trace equivalence | 2013-10-08 | Paper |
| Exploring the boundaries of monad tensorability on Set Logical Methods in Computer Science | 2013-09-26 | Paper |
| Adjunction models for call-by-push-value with stacks Electronic Notes in Theoretical Computer Science | 2013-08-16 | Paper |
| Characteristic formulae for fixed-point semantics: a general framework MSCS. Mathematical Structures in Computer Science | 2012-05-11 | Paper |
| Similarity quotients as final coalgebras Foundations of Software Science and Computational Structures | 2011-05-19 | Paper |
| Higher-order containers Programs, Proofs, Processes | 2010-07-29 | Paper |
| Typed Normal Form Bisimulation Computer Science Logic | 2009-03-05 | Paper |
| Infinite trace equivalence Annals of Pure and Applied Logic | 2008-03-06 | Paper |
| Jumbo λ-Calculus Automata, Languages and Programming | 2007-09-11 | Paper |
| Combining algebraic effects with continuations Theoretical Computer Science | 2007-05-11 | Paper |
| Call-by-push-value: Decomposing call-by-value and call-by-name Higher-Order and Symbolic Computation | 2007-01-05 | Paper |
| scientific article; zbMATH DE number 2172969 (Why is no real title available?) | 2005-06-01 | Paper |
| scientific article; zbMATH DE number 2120508 (Why is no real title available?) | 2004-12-01 | Paper |
| Modelling environments in call-by-value programming languages. Information and Computation | 2004-03-14 | Paper |
| scientific article; zbMATH DE number 1948165 (Why is no real title available?) | 2003-07-10 | Paper |
Research outcomes over time
This page was built for person: Paul Blain Levy
