Title | ||
---|---|---|
Types for Proofs and Programs, International Workshop TYPES'94, Båstad, Sweden, June 6-10, 1994, Selected Papers |
Year | Venue | DocType |
---|---|---|
1995 | TYPES | Conference |
Volume | ISBN | Citations |
996 | isbn | 11 |
PageRank | References | Authors |
3.57 | 0 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Peter Dybjer | 1 | 540 | 76.99 |
Bengt Nordström | 2 | 143 | 30.90 |
Jan M. Smith | 3 | 108 | 22.30 |