@misc{https___doi.org_10.48550_arxiv.2411.04615,
    doi = {10.48550/ARXIV.2411.04615},
    url = {https://arxiv.org/abs/2411.04615},
    author = {Heijltjes, Willem},
    keywords = {Logic in Computer Science (cs.LO), FOS: Computer and information sciences, FOS: Computer and information sciences},
    title = {The Functional Machine Calculus III: Choice (Early Announcement)},
    publisher = {arXiv},
    year = {2024},
    copyright = {Creative Commons Attribution 4.0 International},
    date-added = {2024-12-10 19:48:38 +0100}
}

@misc{https___doi.org_10.48550_arxiv.2411.04615, doi = {10.48550/ARXIV.2411.04615}, url = {https://arxiv.org/abs/2411.04615}, author = {Heijltjes, Willem}, keywords = {Logic in Computer Science (cs.LO), FOS: Computer and information sciences, FOS: Computer and information sciences}, title = {The Functional Machine Calculus III: Choice (Early Announcement)}, publisher = {arXiv}, year = {2024}, copyright = {Creative Commons Attribution 4.0 International}, date-added = {2024-12-10 19:48:38 +0100} }