David Michael Roberts: Substructural fixed-point theorems and the diagonal argument: theme and variations. Compositionality 5: 8 (2023)