On a modal λ-calculus for s4 (1995)

by F Pfenning, H-C Wong
Venue:In 11th Conference on Mathematical Foundations of Programming Semantics (MFPS’95