@misc{indiciae394dc7d5a267,
  title = {Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking},
  author = {Baltasar Trancón y Widemann},
  year = {2016},
  url = {https://arxiv.org/abs/1602.05010},
  note = {Source identifier: 1602.05010}
}