Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications

From MaRDI portal
Revision as of 07:00, 10 July 2024 by Import240710060729 (talk | contribs) (Created automatically from import240710060729)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:6178717

DOI10.46298/lmcs-19(4:34)2023arXiv2211.05608OpenAlexW4389986185MaRDI QIDQ6178717

Lionel Vaux Auclair, Unnamed Author

Publication date: 16 January 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2211.05608







Cites Work




This page was built for publication: Finitary Simulation of Infinitary $\beta$-Reduction via Taylor Expansion, and Applications