Mathematical Structures in Computer Science, Volume 17

Volume 17, Number 1, March 2007

• Bas Spitters, Herman Geuvers, Milad Niqui, Freek Wiedijk:
  Preface to the special issue: Constructive analysis, types and exact real numbers. 1
  Electronic Edition (link) BibTeX
• Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk:
  Constructive analysis, types and exact real numbers. 3-36
  Electronic Edition (link) BibTeX
• Yves Bertot:
  Affine functions and series with co-inductive real numbers. 37-63
  Electronic Edition (link) BibTeX
• Branimir Lambov:
  RealLib: An efficient implementation of exact real arithmetic. 81-98
  Electronic Edition (link) BibTeX
• Assia Mahboubi:
  Implementing the cylindrical algebraic decomposition within the Coq system. 99-127
  Electronic Edition (link) BibTeX
• Russell O'Connor:
  A monadic, functional implementation of real numbers. 129-159
  Electronic Edition (link) BibTeX
• Matthias Schröder, Alex Simpson:
  Two preservation results for countable products of sequential spaces. 161-172
  Electronic Edition (link) BibTeX

Volume 17, Number 2, April 2007

• Thierry Paul:
  3-body, classical-quantum, discrete-continuous. 173-175
  Electronic Edition (link) BibTeX
• Thierry Paul:
  Discrete-continuous and classical-quantum. 177-183
  Electronic Edition (link) BibTeX
• Annick Lesne:
  The discrete versus continuous controversy in physics. 185-223
  Electronic Edition (link) BibTeX
• Javier Madroñero, Laurent Hilico, Benoît Grémaud, Dominique Delande, Andreas Buchleitner:
  The driven three body Coulomb problem. 225-246
  Electronic Edition (link) BibTeX
• Mathieu Hoyrup:
  Dynamical systems: stability and simulability. 247-259
  Electronic Edition (link) BibTeX
• Hubert Krivine, Annick Lesne, Jacques Treiner:
  Discrete-time and continuous-time modelling: some bridges and gaps. 261-276
  Electronic Edition (link) BibTeX
• Thierry Paul:
  On the status of perturbation theory. 277-288
  Electronic Edition (link) BibTeX
• Francis Bailly, Giuseppe Longo:
  Randomness and determinism in the interplay between the continuum and the discrete. 289-305
  Electronic Edition (link) BibTeX
• Anne Preller, Joachim Lambek:
  Free compact 2-categories. 309-340
  Electronic Edition (link) BibTeX
• Michele Pagani:
  Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic. 341-359
  Electronic Edition (link) BibTeX