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

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 01  

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

Editorial Preface

 
 

Preface to the special issue: Constructive analysis, types and exact real numbers

BAS SPITTERS, HERMAN GEUVERS, MILAD NIQUI and FREEK WIEDIJK

Mathematical Structures in Computer Science, Volume 17, Issue 01, February 2007, pp 1-1
doi:10.1017/S0960129506005846 (About doi), Published Online by Cambridge University Press 07 Mar 2007
 

Paper

 
 

Constructive analysis, types and exact real numbers

HERMAN GEUVERS, MILAD NIQUI, BAS SPITTERS and FREEK WIEDIJK

Mathematical Structures in Computer Science, Volume 17, Issue 01, February 2007, pp 3-36
doi:10.1017/S0960129506005834 (About doi), Published Online by Cambridge University Press 07 Mar 2007
 

Affine functions and series with co-inductive real numbers

YVES BERTOT

Mathematical Structures in Computer Science, Volume 17, Issue 01, February 2007, pp 37-63
doi:10.1017/S0960129506005809 (About doi), Published Online by Cambridge University Press 07 Mar 2007
 

Spatiality for formal topologies

NICOLA GAMBINO and PETER SCHUSTER

Mathematical Structures in Computer Science, Volume 17, Issue 01, February 2007, pp 65-80
doi:10.1017/S0960129506005810 (About doi), Published Online by Cambridge University Press 07 Mar 2007
 

RealLib: An efficient implementation of exact real arithmetic

BRANIMIR LAMBOV

Mathematical Structures in Computer Science, Volume 17, Issue 01, February 2007, pp 81-98
doi:10.1017/S0960129506005822 (About doi), Published Online by Cambridge University Press 07 Mar 2007
 

Implementing the cylindrical algebraic decomposition within the Coq system

ASSIA MAHBOUBI

Mathematical Structures in Computer Science, Volume 17, Issue 01, February 2007, pp 99-127
doi:10.1017/S096012950600586X (About doi), Published Online by Cambridge University Press 07 Mar 2007
 

A monadic, functional implementation of real numbers

RUSSELL ÓCONNOR

Mathematical Structures in Computer Science, Volume 17, Issue 01, February 2007, pp 129-159
doi:10.1017/S0960129506005871 (About doi), Published Online by Cambridge University Press 07 Mar 2007
 

Two preservation results for countable products of sequential spaces

MATTHIAS SCHRÖDER and ALEX SIMPSON

Mathematical Structures in Computer Science, Volume 17, Issue 01, February 2007, pp 161-172
doi:10.1017/S0960129506005895 (About doi), Published Online by Cambridge University Press 07 Mar 2007
  Please select Articles above or use Select All, then click the appropriate button below. Select/Deselect All:

Sort by

Cambridge University Press