TY  - RPRT
TI  - Formalising the intentional stance 2: a coinductive approach
AU  - Simon McGregor
AU  - timorl
AU  - Nathaniel Virgo
PY  - 2025
UR  - https://arxiv.org/abs/2501.09173
ID  - 2501.09173
ER  -