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]

@article{FernandezMSW09,
  title = {Recursive Functions with Pattern Matching in Interaction Nets},
  author = {Maribel Fernández and Ian Mackie and Shinya Sato and Matthew Walker},
  year = {2009},
  doi = {10.1016/j.entcs.2009.10.017},
  url = {http://dx.doi.org/10.1016/j.entcs.2009.10.017},
  tags = {pattern matching},
  researchr = {https://researchr.org/publication/FernandezMSW09},
  cites = {0},
  citedby = {0},
  journal = {Electronic Notes in Theoretical Computer Science},
  volume = {253},
  number = {4},
  pages = {55-71},
}