Open Graphs and Monoidal Theories Lucas Dixon University of Edinburgh Aleks Kissinger

Source URL: dream.inf.ed.ac.uk

Open Graphs and Computational Reasoning Lucas Dixon Ross Duncan, Aleks Kissinger University of Edinburgh

Source URL: dream.inf.ed.ac.uk

Monoidal Categories, Graphical Reasoning, and Quantum Computation Lucas Dixon and Aleks Kissinger CAM-CAD 2009 Abstract Graphs provide a natural mechanism for visualising many algebraic

Source URL: homepages.inf.ed.ac.uk

Graphical reasoning in symmetric monoidal categories Lucas Dixon, University of Edinburgh Joint work with: Ross Duncan and Aleks Kissinger, University of Oxford 5 Nov 2009

Source URL: www.cs.le.ac.uk

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee IMDEA Software Institute, Spain {ilya.sergey, aleks.nanevski, anindya.banerjee}@imdea.

Source URL: ilyasergey.net

• Logic in computer science
• Separation logic
• Substructural logic

Specifying and Verifying Concurrent Algorithms with Histories and Subjectivity Extended version Ilya Sergey, Aleksandar Nanevski, and Anindya Banerjee IMDEA Software Institute, Spain {ilya.sergey, aleks.nanevski, anindya

Source URL: ilyasergey.net

• Logic in computer science
• Separation logic
• Substructural logic

The ZX-calculus and quantum computation Aleks Kissinger1 1 University of Oxford, UK,

Source URL: www.iitis.pl

Aleks Sever_Aleks Sever.qxd:51 Seite 44 „Aleks is fantastic! I am a tone freak, and I’m talking about fingers@strings and hands on wood – and what I hear is, that she is really playing with her

Source URL: www.alekssever.com

Information regarding the Aleks Summer Program Students interested in this option will be directed to a website (see directions below) where they will be asked to pay a fee and then be given an access code. Using the cod

Source URL: universitycollege.illinoisstate.edu