Agathe Herrou


Former LIRIS member since: 2022-10-31

Quality
PhD student
Team(s)Origami
Institution
Université Claude Bernard Lyon 1
Personal pagehttps://agathe.herrou.fr/

Thesis

Publications

Publication LIRIS pour Agathe Herrou (1)

Publications hors LIRIS

Publication hors LIRIS pour Agathe Herrou (1)

  • 2017 (1)
    • Conferences (1)
      • International conferences with peer review (1)
        •  Flavien Breuvart, Ugo Dal Lago & Agathe Herrou (2017). "On Higher-Order Probabilistic Subrecursion". FoSSaCS 2017 - 20th International Conference on Foundations of Software Science and Computation Structures, 29 avril 2017, Uppsala (Sweden), pp. 370-386. doi : 10.1007/978-3-662-54458-7_22. HAL : hal-01639379. .