Skip to Navigation
Skip to Content
 
Home> Mathematical Structures in Computer Science> Vol. 17 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,935 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 17 - Issue 05  

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

Editorial Preface

 
 

Preface

MARTÍN ESCARDÓ, ACHIM JUNG and THOMAS STREICHER

Mathematical Structures in Computer Science, Volume 17, Issue 05, October 2007, pp 839-839
doi:10.1017/S096012950700624X (About doi), Published Online by Cambridge University Press 29 Oct 2007
 

Paper

 
 

On the ubiquity of certain total type structures

JOHN LONGLEY

Mathematical Structures in Computer Science, Volume 17, Issue 05, October 2007, pp 841-953
doi:10.1017/S0960129507006251 (About doi), Published Online by Cambridge University Press 29 Oct 2007
 

On categorical models of classical logic and the Geometry of Interaction

CARSTEN FÜHRMANN and DAVID PYM

Mathematical Structures in Computer Science, Volume 17, Issue 05, October 2007, pp 957-1027
doi:10.1017/S0960129507006287 (About doi), Published Online by Cambridge University Press 21 Sep 2007
 

An algebraic semantics of event-based architectures

JOSÉ LUIZ FIADEIRO and ANTÓNIA LOPES

Mathematical Structures in Computer Science, Volume 17, Issue 05, October 2007, pp 1029-1073
doi:10.1017/S0960129507006299 (About doi), Published Online by Cambridge University Press 21 Sep 2007
 

Behavioural reasoning for conditional equations

MANUEL A. MARTINS and DON PIGOZZI

Mathematical Structures in Computer Science, Volume 17, Issue 05, October 2007, pp 1075-1113
doi:10.1017/S0960129507006305 (About doi), Published Online by Cambridge University Press 04 Oct 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press