Name
Title | ||
|---|---|---|
Types for Proofs and Programs, International Workshop TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers |
Year | Venue | DocType |
|---|---|---|
2000 | TYPES | Conference |
Volume | ISBN | Citations |
1956 | isbn | 10 |
PageRank | References | Authors |
1.45 | 0 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Thierry Coquand | 1 | 1537 | 225.49 |
| Peter Dybjer | 2 | 540 | 76.99 |
| Bengt Nordström | 3 | 143 | 30.90 |
| Jan M. Smith | 4 | 108 | 22.30 |