TY - RPRT TI - Applications of Recursively Defined Data Structures AU - Lloyd Allison PY - 2022 UR - https://arxiv.org/abs/2206.12795 ID - 2206.12795 ER -