Join-preserving maps on the discrete time scale ω^+, referred to as
time...
Graded modalities have been proposed in recent work on programming langu...
Nakano's later modality allows types to express that the output of a fun...
It is well known that modern functional programming languages are natura...