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

Cached

Download Links

by F. Pfenning , H. C. Wong
Venue:Proceedings of the Eleventh Conference on Mathematical Foundations of Programming Sematics
Citations:7 - 0 self