27 citations · 64 across the 13 of their papers we have counts for
3 papers · 1 filter
Mechanised uniform interpolation for modal logics K, GL, and iSL
Hugo Férée, Iris van der Giessen, Sam van Gool +1
The uniform interpolation property in a given logic can be understood as the definability of propositional quantifiers. We mechanise the computation of these quantifiers and prove…
Deciding Equations in the Time Warp Algebra
Sam van Gool, Adrien Guatto, George Metcalfe +1
Join-preserving maps on the discrete time scale , referred to as time warps, have been proposed as graded modalities that can be used to quantify the growth of information in…
Profinite lambda-terms and parametricity
Sam van Gool, Paul-André Melliès, Vincent Moreau
Combining ideas coming from Stone duality and Reynolds parametricity, we formulate in a clean and principled way a notion of profinite lambda-term which, we show, generalizes at ev…