TY  - RPRT
TI  - Logic and the $2$-Simplicial Transformer
AU  - James Clift
AU  - Dmitry Doryn
AU  - Daniel Murfet
AU  - James Wallbridge
PY  - 2019
UR  - https://arxiv.org/abs/1909.00668
ID  - 1909.00668
ER  -