3 ms·Thanks. I know about Gérard Huet, but not about this particular publication.by nextos 7y agoThanks. I know about Gérard Huet, but not about this particular publication.