LGM working on "Name-free combinators for concurrency"

[dckc]

https://github.com/rchain/pi4u/tree/master/Name-free%20combinators%20for%20concurrency%20rhocomb Latest commit
e5e10a2
16 hours ago

cc @Jake-Gillberg

[dckc]

submitted to http://www.guide2research.com/conference/places-2020

nix-shell -p texlive.combined.scheme-medium