On a modal lambda calculus for S4 (1995)

by Frank Pfenning, Hao-Chi Wong
Venue:In Proceedings of the 11th Conference on Mathematical Foundations of Programming Semantics (MFPS