Paul Blain Levy

Available identifiers

zbMath Open levy.paul-blainMaRDI QIDQ857914

List of research outcomes

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	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	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	2018-04-23	Paper
Formulating Categorical Concepts using Classes	2018-01-25	Paper
Contextual isomorphisms	2017-10-20	Paper
Final coalgebras from corecursive algebras	2017-07-11	Paper
Coproducts of monads on Set	2017-05-16	Paper
From applicative to environmental bisimulation	2016-07-15	Paper
Exploratory functions on nondeterministic strategies, up to lower bisimilarity	2016-05-10	Paper
On final coalgebras of power-set functors and saturated trees	2015-08-03	Paper
Amb Breaks Well-Pointedness, Ground Amb Doesn't	2015-07-10	Paper
Universal properties of impure programming languages	2014-11-27	Paper
Functional programs that explain their work	2014-07-21	Paper
Global state considered helpful	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	2013-09-26	Paper
Adjunction models for call-by-push-value with stacks	2013-08-16	Paper
Characteristic formulae for fixed-point semantics: a general framework	2012-05-11	Paper
Similarity quotients as final coalgebras	2011-05-19	Paper
Higher-order containers	2010-07-29	Paper
Typed Normal Form Bisimulation	2009-03-05	Paper
Infinite trace equivalence	2008-03-06	Paper
Jumbo λ-Calculus	2007-09-11	Paper
Combining algebraic effects with continuations	2007-05-11	Paper
Call-by-push-value: Decomposing call-by-value and call-by-name	2007-01-05	Paper
https://portal.mardi4nfdi.de/entity/Q4680357	2005-06-01	Paper
https://portal.mardi4nfdi.de/entity/Q4829806	2004-12-01	Paper
Modelling environments in call-by-value programming languages.	2004-03-14	Paper
https://portal.mardi4nfdi.de/entity/Q4411826	2003-07-10	Paper

Research outcomes over time

This page was built for person: Paul Blain Levy