References

Aarts and Korst, 1989

Emile Aarts and Jan Korst. Simulated Annealing and Boltzmann Machines. John Wiley & Sons, Chicester, 1989.

Abramsky and Vickers, 1993

Samson Abramsky and Steven Vickers. Quantales, observational logic and process semantics. Mathematical Structures in Computer Science, 3:161--227, 1993.

Apt, 1995

Krzysztof R. Apt. Program verification and prolog. In E. Börger, editor, Specification and Validation Methods for Programming Languages and Systems, chapter 3, pages 55--95, Oxford University Press, Oxford, 1995.

Asperti et al. , 1994

Andrea Asperti, Vincent Danos, Cosimo Laneve, and Laurent Regnier. Paths in the lambda-calculus. In IEEE Symposium on Logic in Computer Science, pages --, 1994.

Borceux et al. , 1989

F. Borceux, J. Rosicky, and G. van den Bossche. Quantales and -algebras. Journal of the London Mathematical Society, 40(2):398--404, 1989.

Bratteli and Robinson, 1979

Ola Bratteli and Derek W. Robinson. Operator Algebras and Quantum Statistical Mechanics. Volume 1 -- - and -Algebras, Symmetry Groups, Decomposition of States, Springer Verlag, New York -- Heidelberg -- Berlin, 1979.

Connes, 1994

Alain Connes. Noncommutative Geometry. Academic Press, San Diego, 1994.

Cuntz and Krieger, 1980

Joachim Cuntz and Wolfgang Krieger. A class of -algebras and topological Markov chains. Inventiones Mathematicae, 56:251--268, 1980.

Danos and Regnier, 1995

Vincent Danos and Laurent Regnier. Proof-Nets and the Hilbert space. In Symposium on Linear Logic (Cornell 1993), page (to appear), Cambridge University Press, 1995.

Girard, 1988

Jean-Yves Girard. Geometry of Interaction 2: Deadlock-free algorithms. In P. Martin-Löf and G. Mints, editors, International Conference on Computer Logic, COLOG 88, pages 76--93, Springer-Verlag, 1988.

Girard, 1989

Jean-Yves Girard. Geometry of Interaction 1: Interpretation of System F. In Ferro, Bonotto, Valentini, and Zanardo, editors, Logic Colloquium '88, pages 221--260, North Holland, 1989.

Girard, 1995

Jean-Yves Girard. Geometry of Interaction 3: Accommodating the additives. In J.-Y. Girard, Y. Lafont, and L. Regnier, editors, Advances in Linear Logic, pages 326--389, Cambridge University Press, Cambridge, 1995.

Grossman and Larson, 1995

R.L. Grossman and R.G. Larson. An algebraic approach to hybrid systems. Theoretical Computer Science, 138(1):101--112, February 1995. special issue on Hybrid Systems.

Hirsch and Smale, 1974

M. Hirsch and S. Smale. Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press, Orlando, 1974.

Kohonen, 1989

T. Kohonen. Self-Organization and Associative Memory. Springer-Verlag, Berlin, 3 edition, 1989.

Malacaria and Regnier, 1991

Pasquale Malacaria and Laurent Regnier. Some results on the interpretation of -calculus in operator algebras. In IEEE Symposium on Logic in Computer Science, pages 63--72, 1991.

Mundici, 1986

Daniele Mundici. Interpretation of AF -algebras in ukasiewicz sentential calculus. Journal of Functional Analysis, 65:15--63, 1986.

Mundici, 1989

Daniele Mundici. The -algebras of three-valued logic. In Ferro, Bonotto, Valentini, and Zanardo, editors, Logic Colloquium '88, pages 61--77, North Holland, 1989.

Murphy, 1990

Gerard J. Murphy. -Algebras and Operator Theory. Academic Press, San Diego, 1990.

Svozil, 1995

K. Svozil. Quantum computation and complexity theory I. Bulletin of the EATCS, 55:170--207, February 1995.

Wiklicky, 1996a

Herbert Wiklicky. On Linear Models and Algorithms: From Proof Nets to Neural Networks. (in preparation).

Wiklicky, 1996b

Herbert Wiklicky. Towards an abstract model of neural networks. (in preparation).