no code implementations • 28 Jan 2019 • Peter Selinger, Giulio Chiribella
Quantum Physics and Logic is an annual 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.
Quantum Physics
no code implementations • 23 Aug 2009 • Peter Selinger
This article is intended as a reference guide to various notions of monoidal categories and their associated string diagrams.
Category Theory 18D10
1 code implementation • 22 Apr 2008 • Peter Selinger
This is a set of lecture notes that developed out of courses on the lambda calculus that I taught at the University of Ottawa in 2001 and at Dalhousie University in 2007 and 2013.
Logic in Computer Science F.4.1
1 code implementation • 27 Apr 2004 • Peter Selinger, Benoit Valiron
The objective of this paper is to develop a functional programming language for quantum computers.
Logic in Computer Science F.4.1