Publications:Logical Modalities and Multi-Stage Programming
From CERES
Title | Logical Modalities and Multi-Stage Programming |
---|---|
Author | Zine El-Abidine Benaissa and Eugenio Moggi and Walid Taha and Tim Sheard |
Year | 1999 |
PublicationType | Conference Paper |
Journal | |
HostPublication | |
DOI | |
Conference | IMLA'99. Intuitionistic Modal Logics and Applications Workshop |
Diva url | http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:588300 |
Abstract |