迈向全局类型良构性的语义刻画
计算机科学中的逻辑
2024-04-09 v2
摘要
我们探讨如何在语义上刻画多方会话类型的良构性属性，即将其作为用于解释类型的语义模型的属性。选择素事件结构（PESs）作为我们的语义模型，在该模型中，我们给出了支撑全局类型良构性的两个属性（即可投影性和有界性）的语义对应物。作为迈向对良构全局类型所对应的 PESs 类进行刻画的第一步，我们识别了此类 PESs 所满足的一些简单结构属性。
引用
@article{arxiv.2404.00446,
title = {Towards a Semantic Characterisation of Global Type Well-formedness},
author = {Ilaria Castellani and Paola Giannini},
journal= {arXiv preprint arXiv:2404.00446},
year = {2024}
}
备注
In Proceedings PLACES 2024, arXiv:2404.03712