### Abstract

Language | English |
---|---|

Number of pages | 1 |

Journal | Electronic Proceedings in Theoretical Computer Science |

DOIs | |

Publication status | Published - 1 Jan 2017 |

### Fingerprint

### Keywords

- quantum physics
- logic
- mathematical foundations

### Cite this

*Electronic Proceedings in Theoretical Computer Science*. https://doi.org/10.4204/EPTCS.236

}

*Electronic Proceedings in Theoretical Computer Science*. https://doi.org/10.4204/EPTCS.236

**Preface.** / Duncan, Ross (Editor); Heunen, Chris (Editor).

Research output: Contribution to journal › Conference Contribution

TY - JOUR

T1 - Preface

A2 - Duncan, Ross

A2 - Heunen, Chris

PY - 2017/1/1

Y1 - 2017/1/1

N2 - 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.

AB - 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.

KW - quantum physics

KW - logic

KW - mathematical foundations

U2 - 10.4204/EPTCS.236

DO - 10.4204/EPTCS.236

M3 - Conference Contribution

JO - Electronic Proceedings in Theoretical Computer Science

T2 - Electronic Proceedings in Theoretical Computer Science

JF - Electronic Proceedings in Theoretical Computer Science

SN - 2075-2180

ER -