Title: Term Normalization and Structural Equivalence.  
Owner: Kyle Butt
Creator: Kyle Butt Feb 09, 2018
Last Changed by: Kyle Butt Feb 13, 2018
Tiny Link: (useful for email) https://rchain.atlassian.net/wiki/x/9gHWD
Export As: Word · PDF  
RChain wiki (2)
    Page: Rchain State
    Page: Rholang Interpreter
Labels
Global Labels (1)