Accéder directement au contenu

Guillaume Melquiond

2
Documents

Publications

antoine-lanco
Image document

A strong call-by-need calculus

Thibaut Balabonski , Antoine Lanco , Guillaume Melquiond
Logical Methods in Computer Science, 2023, 19 (1), pp.39. ⟨10.46298/lmcs-19(1:21)2023⟩
Article dans une revue hal-03409681v3
Image document

A strong call-by-need calculus

Thibaut Balabonski , Antoine Lanco , Guillaume Melquiond
FSCD 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