research
∙
01/15/2023
Deciding Equations in the Time Warp Algebra
Join-preserving maps on the discrete time scale ω^+, referred to as time...
share
research
∙
06/11/2021
Time Warps, from Algebra to Algorithms
Graded modalities have been proposed in recent work on programming langu...
research
∙
05/28/2018
A Generalized Modality for Recursion
Nakano's later modality allows types to express that the output of a fun...
research
∙
01/14/2018