1 citations · 2 across the 4 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LO2023★ 1 cited
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…
cs.LO2023
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…