TY  - RPRT
TI  - Substructural fixed-point theorems and the diagonal argument: theme and variations
AU  - David Michael Roberts
PY  - 2023
DO  - 10.32408/compositionality-5-8
UR  - https://arxiv.org/abs/2110.00239
ID  - 2110.00239
ER  -