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]

No reviews for this publication, yet.