RAAR

Random Asymmetric Asemantic Research Lab

(Marius Buliga)

Experiments with artificial chemistry and lambda calculus, under randomness, implemented by local machines, in the absence of global semantics, with asymmetric graph rewrites.

An outcome of (Computing with space) arXiv

The current draft of (Rewrite dilation structures: a theory-metatheory correspondence).

Links to Play With

Zenodo Libraries and Computational Notebooks Sources

GitHub Repositories

Other Stuff