35 citations · 124 across the 25 of their papers we have counts for
1 paper · 1 filter
Murdoch Gabbay, Aleksandar Nanevski
The modal logic S4 can be used via a Curry-Howard style correspondence to obtain a lambda-calculus. Modal (boxed) types are intuitively interpreted as `closed syntax of the calculu…