Back to my homepage
Distributed GLC / ChemLambda / Computing with space

Click on the image to go to the demos of the chemlambda project
chemlambda project
... or play with an older version of the chemlambda gui. You better use the one from the github repo.

(html)- Molecular computers
(DOI) (journal)- Build a molecular computer. Journal of Brief Ideas (2015)
(doi) (arxiv) - Zipper logic. 16 pages, 24 colour figures. Supplementary material at this link from my open notebook.
(MIT Press free download) (arxiv) - Chemlambda, universality and self-multiplication. 8 pages, 21 colour figures. with Louis H. Kauffman, presented at ALIFE 14
(arxiv) - GLC actors, artificial chemical connectomes, topological issues and knots. with Louis H. Kauffman
(doi) (arxiv) - Chemical concrete machine. (aka ChemLambda)
(journal) (arxiv) - Graphic lambda calculus. Complex Systems 22, 4 (2013), 311-360
(arxiv) - On graphic lambda calculus and the dual of the graphic beta move.
(arxiv) - Graphic lambda calculus and knot diagrams, see also the posts under the tag graphic lambda calculus at chorasimilarity.
(arxiv) - Local and global moves on locally planar trivalent graphs, lambda calculus and lambda-Scale
(arxiv) - Lambda-Scale, a lambda calculus for spaces with dilations (update 23.05.2012), see also the posts at chorasimilarity
(arxiv)- Computing with space: a tangle formalism for chora and difference
(arxiv) - Emergent algebras
(arxiv) - Maps of metric spaces, slightly edited appendix of Computing with space..., see also these slides of the talk "Non-euclidean analysis of dilation structures"
(arxiv) (FQXi essay) - More than discrete or continuous: a bird's view
(arxiv) - What is a space? Computations in emergent algebras and the front end visual system

WEB TUTORIALS   (chorasimilarity)      
:: Graphic lambda calculus
:: Chemical concrete machine

Let's look at some examples of spaces, like: the real world or a virtual world of a game, as seen by a fly or by a human, "abstract" mathematical spaces as manifolds, fractals, symmetric spaces, groups, linear spaces.
To know what a space is, to define it mathematically, is less interesting than to know what one can do in such a space. I try to look at spaces from a computational viewpoint.