Name
Abstract | ||
|---|---|---|
Without Abstract |
Year | Venue | Field |
|---|---|---|
1988 | COLOG-88 Proceedings of the international conference on Computer logic | Inductive type,Pure mathematics,Type theory,Mathematics |
DocType | ISBN | Citations |
Conference | 0-387-52335-9 | 113 |
PageRank | References | Authors |
10.29 | 8 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| T. Coquand | 1 | 135 | 13.55 |
| C. Paulin | 2 | 132 | 14.13 |