Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 15 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 15 - Issue 02  

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

Paper

 
 

On proving the correctness of program transformations based on free theorems for higher-order polymorphic calculi

PATRICIA JOHANN

Mathematical Structures in Computer Science, Volume 15, Issue 02, April 2005, pp 201-229
doi:10.1017/S0960129504004578 (About doi), Published Online by Cambridge University Press 14 Mar 2005
 

Garside monoids vs divisibility monoids

MATTHIEU PICANTIN

Mathematical Structures in Computer Science, Volume 15, Issue 02, April 2005, pp 231-242
doi:10.1017/S0960129504004414 (About doi), Published Online by Cambridge University Press 14 Mar 2005
 

A comonadic account of behavioural covarieties of coalgebras

ROBERT GOLDBLATT

Mathematical Structures in Computer Science, Volume 15, Issue 02, April 2005, pp 243-269
doi:10.1017/S096012950400458X (About doi), Published Online by Cambridge University Press 14 Mar 2005
 

Extensions of valuations

JEAN GOUBAULT-LARRECQ

Mathematical Structures in Computer Science, Volume 15, Issue 02, April 2005, pp 271-297
doi:10.1017/S096012950400461X (About doi), Published Online by Cambridge University Press 14 Mar 2005
 

The largest Cartesian closed category of domains, considered constructively

DIETER SPREEN

Mathematical Structures in Computer Science, Volume 15, Issue 02, April 2005, pp 299-321
doi:10.1017/S0960129504004591 (About doi), Published Online by Cambridge University Press 14 Mar 2005
 

Classical linear logic of implications

MASAHITO HASEGAWA

Mathematical Structures in Computer Science, Volume 15, Issue 02, April 2005, pp 323-342
doi:10.1017/S0960129504004621 (About doi), Published Online by Cambridge University Press 14 Mar 2005
 

Closed reduction: explicit substitutions without $\alpha$-conversion

M. FERNÁNDEZ, I. MACKIE and F-R. SINOT

Mathematical Structures in Computer Science, Volume 15, Issue 02, April 2005, pp 343-381
doi:10.1017/S0960129504004633 (About doi), Published Online by Cambridge University Press 14 Mar 2005
 

Periodic Linear Programming with applications to real-time scheduling

K. SUBRAMANI

Mathematical Structures in Computer Science, Volume 15, Issue 02, April 2005, pp 383-406
doi:10.1017/S0960129504004657 (About doi), Published Online by Cambridge University Press 14 Mar 2005
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press