- 2
Guillaume Melquiond
2
Documents
Publications
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
|
A strong call-by-need calculusLogical Methods in Computer Science, 2023, 19 (1), pp.39. ⟨10.46298/lmcs-19(1:21)2023⟩
Article dans une revue
hal-03409681v3
|
|
A strong call-by-need calculusFSCD 2021 - 6th International Conference on Formal Structures for Computation and Deduction, Jul 2021, Buenos Aires, Argentina. pp.1-22, ⟨10.4230/LIPIcs.FSCD.2021.9⟩
Communication dans un congrès
hal-03149692v2
|