Publications:Logical Modalities and Multi-Stage Programming

From CERES
Jump to: navigation, search

Do not edit this section

Keep all hand-made modifications below

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