@inproceedings{https___doi.org_10.4230_lipics.fscd.2025.24,
    doi = {10.4230/lipics.fscd.2025.24},
    url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2025.24},
    author = {Heijltjes, Willem},
    keywords = {lambda-calculus, computational effects, intersection types, Theory of computation → Type structures, Theory of computation → Lambda calculus},
    language = {en},
    title = {Quantitative Types for the Functional Machine Calculus},
    publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
    year = {2025},
    copyright = {Creative Commons Attribution 4.0 International license},
    date-added = {2025-10-31 7:38:56 +0100}
}

@inproceedings{https___doi.org_10.4230_lipics.fscd.2025.24, doi = {10.4230/lipics.fscd.2025.24}, url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.FSCD.2025.24}, author = {Heijltjes, Willem}, keywords = {lambda-calculus, computational effects, intersection types, Theory of computation → Type structures, Theory of computation → Lambda calculus}, language = {en}, title = {Quantitative Types for the Functional Machine Calculus}, publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik}, year = {2025}, copyright = {Creative Commons Attribution 4.0 International license}, date-added = {2025-10-31 7:38:56 +0100} }