a person in the record
Giulio Manzonetto
Supervised 3 doctoral students at Université Paris-Nord - Paris XIII between 2021 and 2024; doctorate at Université Paris-Diderot - Paris VII in 2008 under Chantal Berline and Antonino Salibra. Linked to ORCID and OpenAlex.
How to read the markscited by a repository's recordstated by Wikidata or indexed by OpenAlexclaimed on an ORCID list, or inferred
Theses1
- cited by a thesis record
Models and theories of lambda calculus
2008 · Université Paris-Diderot - Paris VII · doctoral · Mathématiques, Sciences et Technologies de l'Information (Informatique) · in English · the thesis's own page ›also named on this thesis
- cited by a thesis recordHenk Barendregtreferee
- cited by a thesis recordJohn Longleyjury member
- cited by a thesis recordLuke Ongreferee
- cited by a thesis recordFranco Turinijury member
Advisors2
- cited by a thesis record
Chantal Berline“Models and theories of lambda calculus”
2008 · Université Paris-Diderot - Paris VII · doctoral - cited by a thesis record
Antonino Salibra“Models and theories of lambda calculus”
2008 · Université Paris-Diderot - Paris VII · doctoral
Students3
- cited by a thesis record
Nicolas Munnich“Opérationnel et catégorique modèles de PCF : l'adressage des machines et la distribution semirings”
2024 · Université Paris-Nord - Paris XIII · doctoral - cited by a thesis record2023 · Université Paris-Nord - Paris XIII · doctoral
- cited by a thesis record
Davide Barbarossa“Towards a resource based approximation theory of programs”
2021 · Université Paris-Nord - Paris XIII · doctoral
The line above and below1 step
The advisors of their advisors, four steps up at most, in the thesis records and on Wikidata, each kind marked; a person in both is listed once.
- 1 step up
cited by a thesis recordAntonino Salibracited by a thesis recordChantal Berline
Below them, within 3 steps, the record reaches 3 people: 3 cited by thesis records.
Works1
2008 · held from 1 repository · a work missing?
- cited by HAL/TEL OAI's record
Models and theories of lambda calculus
2008 · doctoral thesis · HAL/TEL OAI
What their ORCID record lists
The works their own ORCID record lists, as they claim them: shown apart from the record's works, never checked or counted with them.
ORCID is asked for the list when this part is opened.
Sat beside the lineage6
jury member, referee, or jury president, not advisor
- cited by a thesis record
Adrienne Lancelot“Comparing functional programs, or how to put λ-terms back in order”
jury member · 2025 · Institut Polytechnique de Paris · doctoral - cited by a thesis record
Hector Suzanne“Reusable static resource analyses for high level languages”
referee · 2025 · Sorbonne Université · doctoral - cited by a thesis record
Mariana Milicich“Extending the quantitative toolset for higher-order programming languages”
jury president · 2025 · Université Paris Cité · doctoral - cited by a thesis recordjury president · 2024 · Aix-Marseille Université · doctoral
- cited by a thesis recordreferee · 2023 · Université Paris-Saclay · doctoral
- cited by a thesis record
Domenico Ruoppolo“Modèles de Graphe Relationnels et Observabilité à la Morris : recherches sémantiques sensibles aux ressources sur le λ-calcul non typé”
jury member · 2016 · Université Sorbonne Paris Cité · doctoral