Weak reduction and garbage collection in interaction nets

Jorge Sousa Pinto. Weak reduction and garbage collection in interaction nets. Electronic Notes in Theoretical Computer Science, 86(4):625-640, 2003. [doi]

Abstract

Abstract is missing.