HackerPapers

arXiv:1701.00242quant-ph

Proceedings 13th International Conference on Quantum Physics and Logic

Ross Duncan, Chris Heunen

Early discovery. Linked by one identifiable commenter. This paper is outside the main ranking; a mention is not an endorsement.

Abstract

This volume contains the proceedings of the 13th International Conference on Quantum Physics and Logic (QPL 2016), which was held June 6-10, 2016 at the University of Strathclyde. QPL is a conference that brings together researchers working on mathematical foundations of quantum physics, quantum computing, and related areas, with a focus on structural perspectives and the use of logical tools, ordered algebraic and category-theoretic structures, formal languages, semantical methods, and other computer science techniques applied to the study of physical behaviour in general.

arXiv comments
Journal reference
EPTCS 236, 2017
DOI
doi:10.4204/EPTCS.236
Subjects
quant-phQuantum Physics cs.LOLogic in Computer Science

On Hacker News

Linked by 1 identifiable commenter in 1 comment across 1 thread, from Nov 2018 to Nov 2018.

Comments linking this paper, per year.

Discussed in comments1 thread

  1. The weird and wonderful world of constructive mathematics (2017) [pdf] 1 comment

    • I am not sure what the parent meant specifically, but yes, there is quite a lot of work on quantum physics and logic, with regular conferences (https://arxiv.org/html/1701.00242) and some truly fascinating models for intuitionistic logics (https://arxiv.org/abs/0909.3468). Not…

      fmapView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.