Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 16 Issue 03

 

Log In

Browse Journals

Special Sales

Cambridge Journals Digital Archive

Click here for details about our archive digitisation project. more details

2009 Journals Catalogue

Click here to download a PDF of our latest catalogue; a comprehensive guide to all of our journals. more details

CJO Now Includes:

568,935 articles from 321 leading journals.

Customize Your Search Toolbar

Mathematical Structures in Computer Science

Search

Social Bookmarking

  • Note: Abstract, PDF and HTML open in a new window

  • Editor(s):
  • G. Longo, CNRS and Ecole Normale SupĂ©rieure, Paris, France

Sort by

Previous Issue Next Issue

Table of Contents - Volume 16 - Issue 03  

  Please select Articles below or use Select All, then click the appropriate button above. Select/Deselect All:
 

Editorial Preface

 
 

Special issue on quantum programming languages

PETER SELINGER

Mathematical Structures in Computer Science, Volume 16, Issue 03, June 2006, pp 373-374
doi:10.1017/S0960129506005226 (About doi), Published Online by Cambridge University Press 04 Jul 2006
 

Paper

 
 

Types and typechecking for Communicating Quantum Processes

SIMON J. GAY and RAJAGOPAL NAGARAJAN

Mathematical Structures in Computer Science, Volume 16, Issue 03, June 2006, pp 375-406
doi:10.1017/S0960129506005263 (About doi), Published Online by Cambridge University Press 04 Jul 2006
 

Relations among quantum processes: bisimilarity and congruence

MARIE LALIRE

Mathematical Structures in Computer Science, Volume 16, Issue 03, June 2006, pp 407-428
doi:10.1017/S096012950600524X (About doi), Published Online by Cambridge University Press 04 Jul 2006
 

Quantum weakest preconditions

ELLIE D'HONDT and PRAKASH PANANGADEN

Mathematical Structures in Computer Science, Volume 16, Issue 03, June 2006, pp 429-451
doi:10.1017/S0960129506005251 (About doi), Published Online by Cambridge University Press 04 Jul 2006
 

Structuring quantum effects: superoperators as arrows

JULIANA VIZZOTTO, THORSTEN ALTENKIRCH and AMR SABRY

Mathematical Structures in Computer Science, Volume 16, Issue 03, June 2006, pp 453-468
doi:10.1017/S0960129506005287 (About doi), Published Online by Cambridge University Press 04 Jul 2006
 

A categorical quantum logic

SAMSON ABRAMSKY and ROSS DUNCAN

Mathematical Structures in Computer Science, Volume 16, Issue 03, June 2006, pp 469-489
doi:10.1017/S0960129506005275 (About doi), Published Online by Cambridge University Press 04 Jul 2006
 

LQP: the dynamic logic of quantum information

ALEXANDRU BALTAG and SONJA SMETS

Mathematical Structures in Computer Science, Volume 16, Issue 03, June 2006, pp 491-525
doi:10.1017/S0960129506005299 (About doi), Published Online by Cambridge University Press 04 Jul 2006
 

A lambda calculus for quantum computation with classical control

PETER SELINGER and BENOIT VALIRON

Mathematical Structures in Computer Science, Volume 16, Issue 03, June 2006, pp 527-552
doi:10.1017/S0960129506005238 (About doi), Published Online by Cambridge University Press 04 Jul 2006
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press