TY  - RPRT
TI  - The Functional Machine Calculus II: Semantics
AU  - Chris Barrett
AU  - Willem Heijltjes
AU  - Guy McCusker
PY  - 2023
UR  - https://arxiv.org/abs/2211.13140
ID  - 2211.13140
ER  -