Recursive Functions with Pattern Matching in Interaction Nets

Maribel Fernández, Ian Mackie, Shinya Sato, Matthew Walker. Recursive Functions with Pattern Matching in Interaction Nets. Electronic Notes in Theoretical Computer Science, 253(4):55-71, 2009. [doi]

Abstract

Abstract is missing.