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

 

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 16 - Issue 02  

  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 16, Issue 02, April 2006, pp 139-140
doi:10.1017/S096012950600510X (About doi), Published Online by Cambridge University Press 17 May 2006
 

Paper

 
 

Compactly generated domain theory

INGO BATTENFELD, MATTHIAS SCHRÖDER and ALEX SIMPSON

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 141-161
doi:10.1017/S0960129506005202 (About doi), Published Online by Cambridge University Press 17 May 2006
 

Modified bar recursion

ULRICH BERGER and PAULO OLIVA

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 163-183
doi:10.1017/S0960129506005093 (About doi), Published Online by Cambridge University Press 17 May 2006
 

Graph models of $\lambda$-calculus at work, and variations

CHANTAL BERLINE

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 185-221
doi:10.1017/S0960129506005123 (About doi), Published Online by Cambridge University Press 17 May 2006
 

Quotients of countably based spaces are not closed under sobrification

GARY GRUENHAGE and THOMAS STREICHER

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 223-229
doi:10.1017/S0960129506005184 (About doi), Published Online by Cambridge University Press 17 May 2006
 

A Cartesian closed extension of the category of locales

REINHOLD HECKMANN

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 231-253
doi:10.1017/S0960129506005135 (About doi), Published Online by Cambridge University Press 17 May 2006
 

Monoids over domains

MICHAEL MISLOVE

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 255-277
doi:10.1017/S0960129506005159 (About doi), Published Online by Cambridge University Press 17 May 2006
 

On sequential functionals of type 3

DAG NORMANN

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 279-289
doi:10.1017/S0960129506005147 (About doi), Published Online by Cambridge University Press 17 May 2006
 

The strength of Engeler's lemma

JAN PASEKA

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 291-297
doi:10.1017/S0960129506005160 (About doi), Published Online by Cambridge University Press 17 May 2006
 

A domain-theoretic Banach–Alaoglu theorem

GORDON PLOTKIN

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 299-311
doi:10.1017/S0960129506005172 (About doi), Published Online by Cambridge University Press 17 May 2006
 

Denotational semantics for a program logic of objects

BERNHARD REUS and JAN SCHWINGHAMMER

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 313-358
doi:10.1017/S0960129506005214 (About doi), Published Online by Cambridge University Press 17 May 2006
 

Partial metrisability of continuous posets

PAWEL WASZKIEWICZ

Mathematical Structures in Computer Science, Volume 16, Issue 02, April 2006, pp 359-372
doi:10.1017/S0960129506005196 (About doi), Published Online by Cambridge University Press 17 May 2006
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press