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

 

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,991 articles from 323 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 04  

  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 4 Cover and Front matter

Mathematical Structures in Computer Science, Volume 19, Issue 04, August 2009, pp f1-f2
doi:10.1017/S0960129509990090 (About doi), Published Online by Cambridge University Press 15 Jul 2009
 

Back Cover (IBC, OBC) and matter

 
 

MSC volume 19 issue 4 Cover and Back matter

Mathematical Structures in Computer Science, Volume 19, Issue 04, August 2009, pp b1-b5
doi:10.1017/S0960129509990107 (About doi), Published Online by Cambridge University Press 15 Jul 2009
 

Paper

 
 

From parametric polymorphism to models of polymorphic FPC

RASMUS EJLERS MØGELBERG

Mathematical Structures in Computer Science, Volume 19, Issue 04, August 2009, pp 639-686
doi:10.1017/S096012950900766X (About doi), Published Online by Cambridge University Press 06 May 2009
 

Two-dimensional models of type theory

RICHARD GARNER

Mathematical Structures in Computer Science, Volume 19, Issue 04, August 2009, pp 687-736
doi:10.1017/S0960129509007646 (About doi), Published Online by Cambridge University Press 02 Jul 2009
 

Automata theory based on unsharp quantum logic

YUN SHANG, XIAN LU and RUQIAN LU

Mathematical Structures in Computer Science, Volume 19, Issue 04, August 2009, pp 737-756
doi:10.1017/S0960129509007701 (About doi), Published Online by Cambridge University Press 15 May 2009
 

The Dedekind reals in abstract Stone duality

ANDREJ BAUER and PAUL TAYLOR

Mathematical Structures in Computer Science, Volume 19, Issue 04, August 2009, pp 757-838
doi:10.1017/S0960129509007695 (About doi), Published Online by Cambridge University Press 08 Jun 2009
 

A type system for Discretionary Access Control

MICHELE BUGLIESI, DARIO COLAZZO, SILVIA CRAFA and DAMIANO MACEDONIO

Mathematical Structures in Computer Science, Volume 19, Issue 04, August 2009, pp 839-875
doi:10.1017/S0960129509007762 (About doi), Published Online by Cambridge University Press 02 Jul 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press