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

 

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 18 - Special Issue 05 (Theory and applications of subtyping)  

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

Paper

 
 

Theory and applications of subtyping: Introduction

ADRIANA COMPAGNONI and HEALFDENE GOGUEN

Mathematical Structures in Computer Science, Volume 18, Special Issue 05, October 2008, pp 795-796
doi:10.1017/S0960129508006841 (About doi), Published Online by Cambridge University Press 06 Oct 2008
 

Polarised subtyping for sized types

ANDREAS ABEL

Mathematical Structures in Computer Science, Volume 18, Special Issue 05, October 2008, pp 797-822
doi:10.1017/S0960129508006853 (About doi), Published Online by Cambridge University Press 06 Oct 2008
 

Type-based flow analysis and context-free language reachability

MANUEL FÄHNDRICH and JAKOB REHOF

Mathematical Structures in Computer Science, Volume 18, Special Issue 05, October 2008, pp 823-894
doi:10.1017/S0960129508006968 (About doi), Published Online by Cambridge University Press 06 Oct 2008
 

Bounded polymorphism in session types

SIMON J. GAY

Mathematical Structures in Computer Science, Volume 18, Special Issue 05, October 2008, pp 895-930
doi:10.1017/S0960129508006944 (About doi), Published Online by Cambridge University Press 06 Oct 2008
 

Structural subtyping for inductive types with functorial equality rules

ZHAOHUI LUO and ROBIN ADAMS

Mathematical Structures in Computer Science, Volume 18, Special Issue 05, October 2008, pp 931-972
doi:10.1017/S0960129508006956 (About doi), Published Online by Cambridge University Press 06 Oct 2008
 

Graph lambda theories

ANTONIO BUCCIARELLI and ANTONINO SALIBRA

Mathematical Structures in Computer Science, Volume 18, Special Issue 05, October 2008, pp 975-1004
doi:10.1017/S0960129508006683 (About doi), Published Online by Cambridge University Press 15 Jul 2008
 

Exponentiable morphisms of domains

F. CAGLIARI and S. MANTOVANI

Mathematical Structures in Computer Science, Volume 18, Special Issue 05, October 2008, pp 1005-1016
doi:10.1017/S0960129508006786 (About doi), Published Online by Cambridge University Press 28 May 2008
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press