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
- Herman Geuvers, Milad Niqui, Bas Spitters, Freek Wiedijk:
Constructive analysis, types and exact real numbers.
3-36
- Yves Bertot:
Affine functions and series with co-inductive real numbers.
37-63
- Branimir Lambov:
RealLib: An efficient implementation of exact real arithmetic.
81-98
- Assia Mahboubi:
Implementing the cylindrical algebraic decomposition within the Coq system.
99-127
- Russell O'Connor:
A monadic, functional implementation of real numbers.
129-159
- Matthias Schröder, Alex Simpson:
Two preservation results for countable products of sequential spaces.
161-172
Volume 17,
Number 2,
April 2007
- Thierry Paul:
3-body, classical-quantum, discrete-continuous.
173-175
- Thierry Paul:
Discrete-continuous and classical-quantum.
177-183
- Annick Lesne:
The discrete versus continuous controversy in physics.
185-223
- Javier Madroñero, Laurent Hilico, Benoît Grémaud, Dominique Delande, Andreas Buchleitner:
The driven three body Coulomb problem.
225-246
- Mathieu Hoyrup:
Dynamical systems: stability and simulability.
247-259
- Hubert Krivine, Annick Lesne, Jacques Treiner:
Discrete-time and continuous-time modelling: some bridges and gaps.
261-276
- Thierry Paul:
On the status of perturbation theory.
277-288
- Francis Bailly, Giuseppe Longo:
Randomness and determinism in the interplay between the continuum and the discrete.
289-305
- Anne Preller, Joachim Lambek:
Free compact 2-categories.
309-340
- Michele Pagani:
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic.
341-359
Volume 17,
Number 3,
June 2007
Volume 17,
Number 4,
August 2007
- Maribel Fernández, Ian Mackie:
More developments in computational models: introduction.
585-586
- Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
Boxed ambients with communication interfaces.
587-645
- Furio Honsell, Marina Lenisa, Rekha Redamalla:
Coalgebraic description of generalised binary methods.
647-673
- Sonia Fagorzi, Elena Zucca:
A calculus of open modules: call-by-need strategy and confluence.
675-751
- Florin Manea, Carlos Martín-Vide, Victor Mitrana:
On the size complexity of universal accepting hybrid networks of evolutionary processors.
753-771
- J. Robin B. Cockett, Stephen Lack:
Restriction categories III: colimits, partial limits and extensivity.
775-817
- Samy Abbes:
A projective formalism applied to topological and probabilistic event structures.
819-837
Volume 17,
Number 5,
October 2007
Volume 17,
Number 6,
December 2007
Copyright © Mon Nov 2 21:48:32 2009
by Michael Ley (ley@uni-trier.de)
