MA
Maxime Amblard
Professeur des universités, université de Lorraine
2
Documents
Identifiants chercheurs
- maxime-amblard
- 0000-0002-2924-475X
- IdRef : 12657779X
Présentation
Publications
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
Introducing ⦇ λ ⦈, a λ-calculus for effectful computationTheoretical Computer Science, 2021, 869, pp.108-155. ⟨10.1016/j.tcs.2021.02.038⟩
Article dans une revue
hal-03200474v1
|
|
(In)Coherence of discourse 32015
Ouvrages
hal-01655955v1
|