52 citations · 211 across the 14 of their papers we have counts for
1 paper · 1 filter
Ranald Clouston, Rajeev Goré
Nakano's "later" modality, inspired by Gödel-Löb provability logic, has been applied in type systems and program logics to capture guarded recursion. Birkedal et al modelled this m…