# O. Coquand

> Researcher / author (OpenAlex)

**Wikidata**: [openalex:A5024437914](https://www.wikidata.org/wiki/openalex:A5024437914)  
**Source**: https://4ort.xyz/entity/o-coquand