TY  - RPRT
TI  - From Lawvere to Brandenburger-Keisler: interactive forms of diagonalization and self-reference
AU  - Samson Abramsky
AU  - Jonathan Zvesper
PY  - 2010
UR  - https://arxiv.org/abs/1006.0992
ID  - 1006.0992
ER  -