research
∙
01/29/2023
Profinite lambda-terms and parametricity
Combining ideas coming from Stone duality and Reynolds parametricity, we...
share
research
∙
01/15/2023
Deciding Equations in the Time Warp Algebra
Join-preserving maps on the discrete time scale ω^+, referred to as time...
research
∙
03/07/2022
Topological duality for distributive lattices, and applications
This book is a course in Stone-Priestley duality theory, with applicatio...
research
∙
01/09/2022
First-order separation over countable ordinals
We show that the existence of a first-order formula separating two monad...
research
∙
06/11/2021