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

 

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:

567,269 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 04  

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

Introduction

 
 

Developments in computational models: introduction

MARIBEL FERNÁNDEZ and IAN MACKIE

Mathematical Structures in Computer Science, Volume 16, Issue 04, August 2006, pp 553-555
doi:10.1017/S0960129506005305 (About doi), Published Online by Cambridge University Press 24 Jul 2006
 

Paper

 
 

Generalised multisets for chemical programming

J.-P. BANÂTRE, P. FRADET and Y. RADENAC

Mathematical Structures in Computer Science, Volume 16, Issue 04, August 2006, pp 557-580
doi:10.1017/S0960129506005317 (About doi), Published Online by Cambridge University Press 24 Jul 2006
 

Quantum programming languages: survey and bibliography

SIMON J. GAY

Mathematical Structures in Computer Science, Volume 16, Issue 04, August 2006, pp 581-600
doi:10.1017/S0960129506005378 (About doi), Published Online by Cambridge University Press 24 Jul 2006
 

Classically controlled quantum computation

SIMON PERDRIX and PHILIPPE JORRAND

Mathematical Structures in Computer Science, Volume 16, Issue 04, August 2006, pp 601-620
doi:10.1017/S096012950600538X (About doi), Published Online by Cambridge University Press 24 Jul 2006
 

Reversible combinatory logic

ALESSANDRA DI PIERRO, CHRIS HANKIN and HERBERT WIKLICKY

Mathematical Structures in Computer Science, Volume 16, Issue 04, August 2006, pp 621-637
doi:10.1017/S0960129506005391 (About doi), Published Online by Cambridge University Press 24 Jul 2006
 

Call-by-need in token-passing nets

F.-R. SINOT

Mathematical Structures in Computer Science, Volume 16, Issue 04, August 2006, pp 639-666
doi:10.1017/S0960129506005408 (About doi), Published Online by Cambridge University Press 24 Jul 2006
 

Addressed term rewriting systems: application to a typed object calculus

DANIEL J. DOUGHERTY, PIERRE LESCANNE and LUIGI LIQUORI

Mathematical Structures in Computer Science, Volume 16, Issue 04, August 2006, pp 667-709
doi:10.1017/S096012950600541X (About doi), Published Online by Cambridge University Press 24 Jul 2006
 

On light logics, uniform encodings and polynomial time

UGO DAL LAGO and PATRICK BAILLOT

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

Sort by

Cambridge University Press