Tuplix Calculus

Jan A. Bergstra, Alban Ponse, Mark van der Zwaag. Tuplix Calculus. CoRR, abs/0712.3423, 2007. [doi]

@article{abs-0712-3423,
  title = {Tuplix Calculus},
  author = {Jan A. Bergstra and Alban Ponse and Mark van der Zwaag},
  year = {2007},
  url = {http://arxiv.org/abs/0712.3423},
  note = {informal publication},
  researchr = {https://researchr.org/publication/abs-0712-3423},
  cites = {0},
  citedby = {0},
  journal = {CoRR},
  volume = {abs/0712.3423},
}