Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis | 143 |
Total de Visitas por Mes
| julio 2025 | agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | diciembre 2025 | enero 2026 | |
|---|---|---|---|---|---|---|---|
| A machine assisted proof of the subject reduction property for small typed functional language. Master Thesis | 2 | 4 | 2 | 3 | 14 | 5 | 10 |
Total de Descargas
| Visitas | |
|---|---|
| tesis-bove.pdf | 68 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 48 |
| China | 37 |
| Uruguay | 16 |
| Canadá | 13 |
| Japón | 4 |
| Chile | 2 |
| Malasia | 2 |
| Polonia | 2 |
| Singapur | 2 |
| Vietnam | 2 |
Top Ciudades
| Visitas | |
|---|---|
| Beijing | 16 |
| Montevideo | 16 |
| Ottawa | 13 |
| Fairfield | 10 |
| Santa Clara | 6 |
| Nanjing | 5 |
| Oakland | 5 |
| Shenyang | 4 |
| Menlo Park | 3 |
| San Diego | 3 |