{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,14]],"date-time":"2026-08-14T09:35:00Z","timestamp":1786700100713,"version":"build-2736575974"},"reference-count":0,"publisher":"Centre pour la Communication Scientifique Directe (CCSD)","license":[{"start":{"date-parts":[[2026,8,14]],"date-time":"2026-08-14T00:00:00Z","timestamp":1786665600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,8,14]],"date-time":"2026-08-14T00:00:00Z","timestamp":1786665600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2026,8,14]],"date-time":"2026-08-14T00:00:00Z","timestamp":1786665600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"accepted":{"date-parts":[[2026,5,24]]},"abstract":"<jats:p>Accattoli, Dal Lago, and Vanoni have recently proved that the space used by the Space KAM, a variant of the Krivine abstract machine, is a reasonable space cost model for the lambda-calculus accounting for logarithmic space, solving a longstanding open problem. In this paper, we provide a new system of multi types (a variant of intersection types) and extract from multi type derivations the space used by the Space KAM, capturing into a type system the space complexity of the abstract machine. Additionally, we show how to capture also the time of the Space KAM, which is a reasonable time cost model, via minor changes to the type system.<\/jats:p>","DOI":"10.46298\/jfp.17809","type":"journal-article","created":{"date-parts":[[2026,8,14]],"date-time":"2026-08-14T09:00:16Z","timestamp":1786698016000},"source":"Crossref","is-referenced-by-count":0,"title":["Multi types and reasonable space"],"prefix":"10.46298","volume":"Volume 36","author":[{"given":"Beniamino","family":"Accattoli","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ugo Dal","family":"Lago","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gabriele","family":"Vanoni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"25203","published-online":{"date-parts":[[2026,8,14]]},"container-title":["Journal of Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/arxiv.org\/pdf\/2207.08795v4","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/arxiv.org\/pdf\/2207.08795v4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,14]],"date-time":"2026-08-14T09:00:16Z","timestamp":1786698016000},"score":1,"resource":{"primary":{"URL":"https:\/\/jfp.episciences.org\/17809"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,8,14]]},"references-count":0,"URL":"https:\/\/doi.org\/10.46298\/jfp.17809","relation":{"has-preprint":[{"id-type":"arxiv","id":"2207.08795v2","asserted-by":"subject"}],"is-same-as":[{"id-type":"arxiv","id":"2207.08795","asserted-by":"subject"},{"id-type":"doi","id":"10.48550\/arXiv.2207.08795","asserted-by":"subject"}]},"ISSN":["1469-7653"],"issn-type":[{"value":"1469-7653","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,8,14]]},"article-number":"17809"}}