## On a Modal \lambda-Calculus for S4* (1995)

by
F. Pfenning
,
H. C. Wong

Venue: | Proceedings of the Eleventh Conference on Mathematical Foundations of Programming Sematics |

Citations: | 7 - 0 self |