@article{marsik:hal-03200474, TITLE = {{Introducing ⦇ $\lambda$ ⦈, a $\lambda$-calculus for effectful computation}}, AUTHOR = {Mar{\v s}{\'i}k, Jirka and Amblard, Maxime and de Groote, Philippe}, URL = {https://inria.hal.science/hal-03200474}, JOURNAL = {{Theoretical Computer Science}}, PUBLISHER = {{Elsevier}}, VOLUME = {869}, PAGES = {108-155}, YEAR = {2021}, MONTH = Feb, DOI = {10.1016/j.tcs.2021.02.038}, KEYWORDS = {Side effects ; monads ; $\lambda$-calculus ; handlers ; CRS ; IDTS}, PDF = {https://inria.hal.science/hal-03200474/file/Marsik1.pdf}, HAL_ID = {hal-03200474}, HAL_VERSION = {v1}, }