Combining ideas coming from Stone duality and Reynolds parametricity, we...
Join-preserving maps on the discrete time scale ω^+, referred to as
time...
This book is a course in Stone-Priestley duality theory, with applicatio...
We show that the existence of a first-order formula separating two monad...
Graded modalities have been proposed in recent work on programming langu...