TY  - RPRT
TI  - Strictly Monotone Brouwer Trees for Well-founded Recursion Over Multiple Arguments
AU  - Joseph Eremondi
PY  - 2023
UR  - https://arxiv.org/abs/2312.06962
ID  - 2312.06962
ER  -