Internet, https://authorities.loc.gov/cgi-bin/Pwebrecon.cgi?AuthRecID=5323212&v1=1&HC=1&SEQ=20210203055638&PID=ssH4ncIEt6zQE3Q_yo2WnlL0bbg8u,
2021-02-03
Information trouvée : né en 1958
Types union, intersection, et dépendants dans le lambda-calcul explicitement typé
/ Claude Stolze ; sous la direction de Luigi Liquori. Thèse de doctorat : Informatique
: Université Côte d'Azur (ComUE) : 2019
Information trouvée : membre du jury