Name
Title | ||
|---|---|---|
24th International Conference on Types for Proofs and Programs, TYPES 2018, June 18-21, 2018, Braga, Portugal. |
Year | Venue | DocType |
|---|---|---|
2019 | LIPIcs | Conference |
Citations | PageRank | References |
0 | 0.34 | 0 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Peter Dybjer | 1 | 540 | 76.99 |
| José Espírito Santo | 2 | 0 | 1.35 |
| Luís Pinto | 3 | 0 | 1.35 |