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

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

Table of Contents - Volume 19 - Issue 05  

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

Mathematical Structures in Computer Science, Volume 19, Issue 05, October 2009, pp f1-f2
doi:10.1017/S0960129509990211 (About doi), Published Online by Cambridge University Press 18 Sep 2009
 

Back Cover (IBC, OBC) and matter

 
 

MSC volume 19 issue 5 Cover and Back matter

Mathematical Structures in Computer Science, Volume 19, Issue 05, October 2009, pp b1-b10
doi:10.1017/S0960129509990223 (About doi), Published Online by Cambridge University Press 18 Sep 2009
 

Paper

 
 

Social processes, program verification and all that

ANDREA ASPERTI, HERMAN GEUVERS and RAJA NATARAJAN

Mathematical Structures in Computer Science, Volume 19, Issue 05, October 2009, pp 877-896
doi:10.1017/S0960129509990041 (About doi), Published Online by Cambridge University Press 07 Sep 2009
 

Effective λ-models versus recursively enumerable λ-theories

CHANTAL BERLINE, GIULIO MANZONETTO and ANTONINO SALIBRA

Mathematical Structures in Computer Science, Volume 19, Issue 05, October 2009, pp 897-942
doi:10.1017/S0960129509990053 (About doi), Published Online by Cambridge University Press 04 Sep 2009
 

The sequential topology on S0960129509990065_char1 is not regular

MATTHIAS SCHRÖDER

Mathematical Structures in Computer Science, Volume 19, Issue 05, October 2009, pp 943-957
doi:10.1017/S0960129509990065 (About doi), Published Online by Cambridge University Press 08 Sep 2009
 

Algebra and logic for resource-based systems modelling

MATTHEW COLLINSON and DAVID PYM

Mathematical Structures in Computer Science, Volume 19, Issue 05, October 2009, pp 959-1027
doi:10.1017/S0960129509990077 (About doi), Published Online by Cambridge University Press 04 Sep 2009
 

The algebraic lambda calculus

LIONEL VAUX

Mathematical Structures in Computer Science, Volume 19, Issue 05, October 2009, pp 1029-1059
doi:10.1017/S0960129509990089 (About doi), Published Online by Cambridge University Press 24 Aug 2009
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press