第三届行为类型研讨会论文集
编程语言
2014-08-26 v1 计算机科学中的逻辑
摘要
本卷收录了 BEAT 2014（第三届行为类型研讨会）的论文集。该研讨会于 2014 年 9 月 1 日在意大利罗马举行，作为第 25 届并发理论国际会议（CONCUR 2014）的卫星会议。本次研讨会旨在汇聚行为类型理论及其应用各个领域的研究人员，以分享成果、巩固社区，并探索新的合作机会与未来方向。
引用
@article{arxiv.1408.5564,
title = {Proceedings Third Workshop on Behavioural Types},
author = {Marco Carbone},
journal= {arXiv preprint arXiv:1408.5564},
year = {2014}
}