Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
| Autor: | Maršík, Jirka, Amblard, Maxime, de Groote, Philippe |
|---|---|
| Zdroj: | In Theoretical Computer Science 12 May 2021 869:108-155 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Maršík, Jirka, Amblard, Maxime, de Groote, Philippe |
|---|---|
| Zdroj: | In Theoretical Computer Science 12 May 2021 869:108-155 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect