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]

Possibly Related Publications

The following publications are possibly variants of this publication: