RChain Research These are the resources that I have created/found pertaining to my research for RChain. Areas of Focus Formal Semantics of Programming Languages Mobile Process Calculi Concurrency Type Systems Logic