Paul Blain Levy

Available identifiers

zbMath Open levy.paul-blainMaRDI QIDQ857914

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5875354	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
A monad for full ground reference cells	2021-01-19	Paper
https://portal.mardi4nfdi.de/entity/Q5144664	2021-01-19	Paper
Strong functors on many-sorted sets	2020-03-06	Paper
Steps and traces	2018-10-23	Paper
https://portal.mardi4nfdi.de/entity/Q4580326	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
Contextual isomorphisms	2017-10-20	Paper
https://portal.mardi4nfdi.de/entity/Q5275353	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
https://portal.mardi4nfdi.de/entity/Q2863895	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2851326	2013-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q2852364	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Paul Blain Levy