第四届应用范畴论国际会议论文集
计算机科学中的逻辑
2022-11-03 v1
摘要
第四届应用范畴论国际会议于 2021 年 7 月 12--16 日在剑桥大学计算机实验室举行。这是一次混合活动，部分参会者亲临剑桥现场，其他参与者在线参加。所有报告均被录制，视频已发布于线上，相关链接可在会议网站（https://www.cl.cam.ac.uk/events/act2021/）找到。延续此前 ACT 会议的趋势，ACT 2021 的投稿从纯理论到应用皆有，代表了极为多样的范畴论技术及应用主题，包括：图演算；透镜；微分范畴；范畴概率论；机器学习；博弈论；控制论；自然语言语义与处理；密码学；以及有限模型论。本论文集收录了 ACT 2021 上以报告形式呈现的约一半论文。这一选集反映了作者关于是否在本卷或其他地方发表其论文的选择。
引用
@article{arxiv.2211.01102,
title = {Proceedings of the Fourth International Conference on Applied Category Theory},
author = {Kohei Kishida},
journal= {arXiv preprint arXiv:2211.01102},
year = {2022}
}