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

567,269 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 02  

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

Introduction

 
 

3-body, classical–quantum, discrete–continuous

THIERRY PAUL

Mathematical Structures in Computer Science, Volume 17, Issue 02, April 2007, pp 173-175
doi:10.1017/S0960129507005932 (About doi), Published Online by Cambridge University Press 03 May 2007
 

Paper

 
 

Discrete–continuous and classical–quantum

THIERRY PAUL

Mathematical Structures in Computer Science, Volume 17, Issue 02, April 2007, pp 177-183
doi:10.1017/S0960129507005956 (About doi), Published Online by Cambridge University Press 03 May 2007
 

The discrete versus continuous controversy in physics

ANNICK LESNE

Mathematical Structures in Computer Science, Volume 17, Issue 02, April 2007, pp 185-223
doi:10.1017/S0960129507005944 (About doi), Published Online by Cambridge University Press 03 May 2007
 

The driven three body Coulomb problem

JAVIER MADROÑERO, LAURENT HILICO, BENOÎT GRÉMAUD, DOMINIQUE DELANDE and ANDREAS BUCHLEITNER

Mathematical Structures in Computer Science, Volume 17, Issue 02, April 2007, pp 225-246
doi:10.1017/S0960129507005968 (About doi), Published Online by Cambridge University Press 03 May 2007
 

Dynamical systems: stability and simulability

MATHIEU HOYRUP

Mathematical Structures in Computer Science, Volume 17, Issue 02, April 2007, pp 247-259
doi:10.1017/S096012950700597X (About doi), Published Online by Cambridge University Press 03 May 2007
 

Discrete-time and continuous-time modelling: some bridges and gaps

HUBERT KRIVINE, ANNICK LESNE and JACQUES TREINER

Mathematical Structures in Computer Science, Volume 17, Issue 02, April 2007, pp 261-276
doi:10.1017/S0960129507005981 (About doi), Published Online by Cambridge University Press 03 May 2007
 

On the status of perturbation theory

THIERRY PAUL

Mathematical Structures in Computer Science, Volume 17, Issue 02, April 2007, pp 277-288
doi:10.1017/S0960129507005993 (About doi), Published Online by Cambridge University Press 03 May 2007
 

Randomness and determinism in the interplay between the continuum and the discrete

FRANCIS BAILLY and GIUSEPPE LONGO

Mathematical Structures in Computer Science, Volume 17, Issue 02, April 2007, pp 289-305
doi:10.1017/S0960129507006007 (About doi), Published Online by Cambridge University Press 03 May 2007
 

Free compact 2-categories

ANNE PRELLER and JOACHIM LAMBEK

Mathematical Structures in Computer Science, Volume 17, Issue 02, April 2007, pp 309-340
doi:10.1017/S0960129506005901 (About doi), Published Online by Cambridge University Press 18 Jan 2007
 

Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic

MICHELE PAGANI

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

Sort by

Cambridge University Press