Wiki Agenda Contact Version française

Publications : Antoine Lanco

Back
[3] Antoine Lanco. Stratégies pour la réduction forte. Phd thesis, Université Paris-Saclay, 2023. [ bib ]
[2] Thibaut Balabonski, Antoine Lanco, and Guillaume Melquiond. A strong call-by-need calculus. Logical Methods in Computer Science, 19(1), 2023. [ bib | DOI | full text on HAL ]
[1] Thibaut Balabonski, Antoine Lanco, and Guillaume Melquiond. A strong call-by-need calculus. In Naoki Kobayashi, editor, 6th International Conference on Formal Structures for Computation and Deduction, volume 195, pages 9:1--9:22, 2021. [ bib | DOI | full text on HAL ]

Back
This page was generated by bibtex2html.