Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 19 Issue 02

 

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 19 - Issue 02  

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

Front Cover (OFC, IFC) and matter

 
 

MSC volume 19 issue 2 Cover and Front matter

Mathematical Structures in Computer Science, Volume 19, Issue 02, April 2009, pp f1-f2
doi:10.1017/S0960129509007579 (About doi), Published Online by Cambridge University Press 03 Apr 2009
 

Back Cover (IBC, OBC) and matter

 
 

MSC volume 19 issue 2 Cover and Back matter

Mathematical Structures in Computer Science, Volume 19, Issue 02, April 2009, pp b1-b8
doi:10.1017/S0960129509007580 (About doi), Published Online by Cambridge University Press 03 Apr 2009
 

Paper

 
 

On traced monoidal closed categories

MASAHITO HASEGAWA

Mathematical Structures in Computer Science, Volume 19, Issue 02, April 2009, pp 217-244
doi:10.1017/S0960129508007184 (About doi), Published Online by Cambridge University Press 27 Oct 2008
 

Correctness of high-level transformation systems relative to nested conditions

ANNEGRET HABEL and KARL-HEINZ PENNEMANN

Mathematical Structures in Computer Science, Volume 19, Issue 02, April 2009, pp 245-296
doi:10.1017/S0960129508007202 (About doi), Published Online by Cambridge University Press 13 Jan 2009
 

On a measurement-free quantum lambda calculus with classical control

UGO DAL LAGO, ANDREA MASINI and MARGHERITA ZORZI

Mathematical Structures in Computer Science, Volume 19, Issue 02, April 2009, pp 297-335
doi:10.1017/S096012950800741X (About doi), Published Online by Cambridge University Press 16 Feb 2009
 

The space of formal balls and models of quasi-metric spaces

M. ALI-AKBARI, B. HONARI, M. POURMAHDIAN and M. M. REZAII

Mathematical Structures in Computer Science, Volume 19, Issue 02, April 2009, pp 337-355
doi:10.1017/S0960129509007439 (About doi), Published Online by Cambridge University Press 17 Mar 2009
 

Boolean and classical restriction categories

ROBIN COCKETT and ERNIE MANES

Mathematical Structures in Computer Science, Volume 19, Issue 02, April 2009, pp 357-416
doi:10.1017/S0960129509007543 (About doi), Published Online by Cambridge University Press 10 Mar 2009
 

Three extensional models of type theory

BENNO VAN DEN BERG

Mathematical Structures in Computer Science, Volume 19, Issue 02, April 2009, pp 417-434
doi:10.1017/S0960129509007440 (About doi), Published Online by Cambridge University Press 19 Feb 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press