Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

WOLLIC
2009
Springer

favoriteEmaildiscussreport

143views Artificial Intelligence» more WOLLIC 2009»

The Arrow Calculus as a Quantum Programming Language

13 years 11 months ago

The Arrow Calculus as a Quantum Programming Language

Download www.indiana.edu

Juliana Kaizer Vizzotto, André Rauber Du Bo

Real-time Traffic

Applied Computing | WOLLIC 2009 |

claim paper

Related Content

» A Quantum Game Semantics for the Measurement Calculus

» Causal commutative arrows and their optimization

» A Lambda Calculus for Quantum Computation with Classical Control

» Focusing on Binding and Computation

» Light types for polynomial time computation in lambdacalculus

» Haskell Is Not Not ML

» Pragmatics of TypeDirected Partial Evaluation

» Spatial Logics for Bigraphs

Post Info
More Details (n/a)

Added	25 May 2010
Updated	25 May 2010
Type	Conference
Year	2009
Where	WOLLIC
Authors	Juliana Kaizer Vizzotto, André Rauber Du Bois, Amr Sabry

Comments (0)