French mathematician, logician and computer scientist
Find more people like Thierry Coquand
Use the Golden Query Tool to discover related individuals, professionals, or experts with similar interests, expertise, or connections in the Knowledge Graph.