On a modal λ -calculus for S4 (1995)

by Frank Pfenning, Hao-Chi Wong
Venue:In Proc. of the Eleventh MFPS