9 citations · 39 across the 19 of their papers we have counts for
19 papers
The Price of Mathematical Scepticism
Paul Blain Levy
This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arith…
Steps and Traces
Jurriaan Rot, Bart Jacobs, Paul Levy
In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore cat…
A Theory of Particular Sets
Paul Blain Levy
ZFC has sentences that quantify over all sets or all ordinals, without restriction. Some have argued that sentences of this kind lack a determinate meaning. We propose a set theory…
Formulating Categorical Concepts using Classes
Paul Blain Levy
We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of -class…
Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy
We study Abramsky's applicative bisimilarity abstractly, in the context of call-by-value -calculi with algebraic effects. We first of all endow a computational -calculus with…
A monad for full ground reference cells
Ohad Kammar, Paul B. Levy, Sean K. Moss +1
We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in…