Estatísticas para Mechanized metatheory for a λ-calculus with trust types.
Total de visitas
| views | |
|---|---|
| Mechanized metatheory for a λ-calculus with trust types. | 90 |
Total visitas por mês
| views | |
|---|---|
| abril 2024 | 2 |
| maio 2024 | 3 |
| junho 2024 | 0 |
| julho 2024 | 0 |
| agosto 2024 | 0 |
| setembro 2024 | 2 |
| outubro 2024 | 0 |
Visitas Arquivos
| views | |
|---|---|
| ARTIGO_MechanizedMetatheoryCalculus.pdf | 14 |
| ARTIGO_MechanizedMetatheoryCalculus.pdf(legacy) | 6 |
Maiores visualizações por país
| views | |
|---|---|
| Estados Unidos | 35 |
| Alemanha | 30 |
| Países Baixos | 28 |
| Brasil | 15 |
| Vietnã | 12 |
| Singapura | 9 |
| França | 8 |
| China | 3 |
| Reino Unido | 3 |
| Rússia | 2 |
Maiores visualizações por cidade
| views | |
|---|---|
| Hanoi | 12 |
| Ashburn | 8 |
| Oakland | 6 |
| Paris | 4 |
| Shenzhen | 3 |
| Belo Horizonte | 2 |
| Itabira | 2 |
| Washington | 2 |
| Fremont | 1 |
| Jacksonville | 1 |
| Leawood | 1 |
| Mountain View | 1 |
| Volta Redonda | 1 |