lanco.bib

@comment{{This file has been generated by bib2bib 1.98}}

@comment{{Command line: /usr/bin/bib2bib -q -oc lanco.cite -ob lanco.bib -c 'author : "lanco"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{balabonski21fscd,
  topics = {team},
  title = {A strong call-by-need calculus},
  author = {Balabonski, Thibaut and Lanco, Antoine and Melquiond, Guillaume},
  hal = {https://hal.inria.fr/hal-03149692},
  booktitle = {6th International Conference on Formal Structures for Computation and Deduction},
  editor = {Naoki Kobayashi},
  volume = 195,
  pages = {9:1--9:22},
  year = 2021,
  doi = {10.4230/LIPIcs.FSCD.2021.9}
}

@phdthesis{lanco23phd,
  topics = {team},
  author = {Lanco, Antoine},
  title = {Strat\'egies pour la r\'eduction forte},
  school = {Universit\'e Paris-Saclay},
  year = 2023,
  type = {PhD thesis}
}

@article{balabonski23lmcs,
  topics = {team},
  title = {{A strong call-by-need calculus}},
  author = {Balabonski, Thibaut and Lanco, Antoine and Melquiond, Guillaume},
  hal = {https://inria.hal.science/hal-03409681},
  journal = {{Logical Methods in Computer Science}},
  volume = 19,
  number = 1,
  year = 2023,
  doi = {10.46298/lmcs-19(1:21)2023}
}