TY  - RPRT
TI  - The Functional Machine Calculus III: Choice (Early Announcement)
AU  - Willem Heijltjes
PY  - 2024
UR  - https://arxiv.org/abs/2411.04615
ID  - 2411.04615
ER  -