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

 

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 01  

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

Paper

 
 

Termination of processes

DAVIDE SANGIORGI

Mathematical Structures in Computer Science, Volume 16, Issue 01, February 2006, pp 1-39
doi:10.1017/S0960129505004810 (About doi), Published Online by Cambridge University Press 21 Feb 2006
 

Anti-symmetry of higher-order subtyping and equality by subtyping

ADRIANA COMPAGNONI and HEALFDENE GOGUEN

Mathematical Structures in Computer Science, Volume 16, Issue 01, February 2006, pp 41-65
doi:10.1017/S0960129505005086 (About doi), Published Online by Cambridge University Press 21 Feb 2006
 

Intuitionistic phase semantics is almost classical

MAX I. KANOVICH, MITSUHIRO OKADA and KAZUSHIGE TERUI

Mathematical Structures in Computer Science, Volume 16, Issue 01, February 2006, pp 67-86
doi:10.1017/S0960129505005062 (About doi), Published Online by Cambridge University Press 21 Feb 2006
 

Distributing probability over non-determinism

DANIELE VARACCA and GLYNN WINSKEL

Mathematical Structures in Computer Science, Volume 16, Issue 01, February 2006, pp 87-113
doi:10.1017/S0960129505005074 (About doi), Published Online by Cambridge University Press 21 Feb 2006
 

Quasi-metric spaces and point-free geometry

ANNA DI CONCILIO and GIANGIACOMO GERLA

Mathematical Structures in Computer Science, Volume 16, Issue 01, February 2006, pp 115-137
doi:10.1017/S0960129506005111 (About doi), Published Online by Cambridge University Press 21 Feb 2006
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press