TY  - RPRT
TI  - Higher-Order Recursion Abstraction: How to Make Ackermann, Knuth and Conway Look Like a Bunch of Primitives, Figuratively Speaking
AU  - Baltasar Trancón y Widemann
PY  - 2016
UR  - https://arxiv.org/abs/1602.05010
ID  - 1602.05010
ER  -