A categorical analysis of multi-level languages (extended abstract)
Zine-el-Abidine Benaissa · 2018
# Zine El-Abidine Benaissa#1#, Eugenio Moggi#2#, Walid Taha#1#, Tim Sheard#1# #1# Oregon Graduate Inst., Portland, OR, USA #2# DISI, Univ. di Genova, Genova, Italy E.Moggi, DISI, Univ. di Genova, v. Dodecaneso 35, 16146 Genova, Italy tel: +39-010-353 6629, fax: +39-010-353 6699, e-mail: [email protected] Abstract. We propose categorical models for # # , # 2 ,MetaML, andAIM. First, we focus on the underlying logical modalities and the interactions between them, then weinvestigate the interactions between logical modalities and computational monads. We give two examples of categorical model: one simpler but with some limitations, the other more complex but able to model all features of AIM. Keywords: categorical models, semantics, type systems #multi-level typed calculi#, combination of logics #modal and temporal#. 1 Introduction This paper proposes a categorical semantics for multilevel languages like # # ,# 2 ,MetaML and AIM #see #4, 5, 12, 11##. Developing such a semantics...