第13届量子物理与逻辑国际会议会议录
量子物理
2017-01-03 v1 计算机科学中的逻辑
摘要
本卷收录了第13届量子物理与逻辑国际会议（QPL 2016）的会议录，该会议于2016年6月6日至10日在斯特拉斯克莱德大学举行。QPL 是一个汇聚致力于量子物理、量子计算及相关领域数学基础研究的学者的会议，重点关注结构视角以及逻辑工具、有序代数与范畴论结构、形式语言、语义方法以及其他计算机科学技术在一般物理行为研究中的应用。
引用
@article{arxiv.1701.00242,
title = {Proceedings 13th International Conference on Quantum Physics and Logic},
author = {Ross Duncan and Chris Heunen},
journal= {arXiv preprint arXiv:1701.00242},
year = {2017}
}