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
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
Electronic Edition (link) BibTeX
- Pablo Garralda, Eduardo Bonelli, Adriana B. Compagnoni, Mariangiola Dezani-Ciancaglini:
Boxed ambients with communication interfaces.
587-645
Electronic Edition (link) BibTeX
- Furio Honsell, Marina Lenisa, Rekha Redamalla:
Coalgebraic description of generalised binary methods.
647-673
Electronic Edition (link) BibTeX
- Sonia Fagorzi, Elena Zucca:
A calculus of open modules: call-by-need strategy and confluence.
675-751
Electronic Edition (link) BibTeX
- Florin Manea, Carlos Martín-Vide, Victor Mitrana:
On the size complexity of universal accepting hybrid networks of evolutionary processors.
753-771
Electronic Edition (link) BibTeX
- J. Robin B. Cockett, Stephen Lack:
Restriction categories III: colimits, partial limits and extensivity.
775-817
Electronic Edition (link) BibTeX
- Samy Abbes:
A projective formalism applied to topological and probabilistic event structures.
819-837
Electronic Edition (link) BibTeX
Volume 17,
Number 5,
October 2007
Volume 17,
Number 6,
December 2007
Copyright © Sun May 17 00:14:19 2009
by Michael Ley (ley@uni-trier.de)
