Publications : Antoine Lanco
Retour| [3] | Antoine Lanco. Stratégies pour la réduction forte. Phd thesis, Université Paris-Saclay, 2023. [ bib | full text on HAL ] |
| [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 ] |
Retour
This page was generated by bibtex2html.