Contributor info: Dr Olivier Coquand
Details
| Title: | Dr |
| First name: | Olivier |
| Last name: | Coquand |
| ORCID id: | 0000-0002-0604-8596 |
| Personal web page: | - |
| Title: | Dr |
| First name: | Olivier |
| Last name: | Coquand |
| ORCID id: | 0000-0002-0604-8596 |
| Personal web page: | - |