| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 11010138 | Indagationes Mathematicae | 2018 | 12 Pages |
Related Topics
Physical Sciences and Engineering
Mathematics
Mathematics (General)
Authors
Thierry Coquand,