1 |
Introducing ⦇ λ ⦈, a λ-calculus for effectful computation
|
|
|
|
In: ISSN: 1879-2294 ; EISSN: 0304-3975 ; Theoretical Computer Science ; https://hal.inria.fr/hal-03200474 ; Theoretical Computer Science, Elsevier, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩ (2021)
|
|
BASE
|
|
Show details
|
|
2 |
(In)Coherence of discourse 3
|
|
|
|
In: https://hal.inria.fr/hal-01655955 ; Dec 2015, Nancy, France. 2015 (2015)
|
|
BASE
|
|
Show details
|
|
|
|