paper on interaction combinators
My paper "Interaction Combinators" is available by ftp anonymous on
lmmd.univ-mrs.fr (file pub/lafont/combinators.ps.Z).
Abstract: It is shown that a very simple system of interaction combinators,
with only 3 symbols and 6 rules, is a universal model of parallel computation.
This paper is the continuation of the author's work on interaction nets,
inspired by Girard's proof nets for linear logic, but no preliminary knowledge
of these topics is required for its reading.
Yves Lafont <email@example.com>
CNRS - LABORATOIRE DE MATHEMATIQUES DISCRETES
163 avenue de Luminy - Case 930
13288 Marseille Cedex 9
tel: (33) 91 82 70 27
fax: (33) 91 82 70 15