Logical modalities and multi-stage programming (1999)

by Z E-A Benaissa, E Moggi, W Taha, T Sheard
Venue:In Intuitionsitic Modal Logics and Applications: Federated Logic Conference Satellite Workshop, IMLA