Gérard Huet

GPTKB entity