Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 18 Issue 06

 

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 18 - Issue 06  

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

Paper

 
 

On the interpretation of mathematical entities in the formalisation of programming and modelling languages

JOSÉ M. CAÑETE-VALDEÓN

Mathematical Structures in Computer Science, Volume 18, Issue 06, December 2008, pp 1017-1030
doi:10.1017/S096012950800697X (About doi), Published Online by Cambridge University Press 24 Jul 2008
 

Reducibility of domain representations and Cantor–Weihrauch domain representations

JENS BLANCK

Mathematical Structures in Computer Science, Volume 18, Issue 06, December 2008, pp 1031-1056
doi:10.1017/S0960129508007093 (About doi), Published Online by Cambridge University Press 03 Sep 2008
 

A ground-complete axiomatisation of finite-state processes in a generic process algebra

JOS C. M. BAETEN and MARIO BRAVETTI

Mathematical Structures in Computer Science, Volume 18, Issue 06, December 2008, pp 1057-1089
doi:10.1017/S0960129508007111 (About doi), Published Online by Cambridge University Press 18 Sep 2008
 

Bunched polymorphism

MATTHEW COLLINSON, DAVID PYM and EDMUND ROBINSON

Mathematical Structures in Computer Science, Volume 18, Issue 06, December 2008, pp 1091-1132
doi:10.1017/S0960129508007159 (About doi), Published Online by Cambridge University Press 07 Oct 2008
 

Using groups for investigating rewrite systems

PATRICK DEHORNOY and VINCENT VAN OOSTROM

Mathematical Structures in Computer Science, Volume 18, Issue 06, December 2008, pp 1133-1167
doi:10.1017/S0960129508007160 (About doi), Published Online by Cambridge University Press 22 Oct 2008
 

Logical relations for monadic types

JEAN GOUBAULT-LARRECQ, SŁAWOMIR LASOTA and DAVID NOWAK

Mathematical Structures in Computer Science, Volume 18, Issue 06, December 2008, pp 1169-1217
doi:10.1017/S0960129508007172 (About doi), Published Online by Cambridge University Press 07 Oct 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press