Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Course-of-values recursion in Martin-Löf's type theory | 140 |
Total de Visitas por Mes
| agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | diciembre 2025 | enero 2026 | febrero 2026 | |
|---|---|---|---|---|---|---|---|
| Course-of-values recursion in Martin-Löf's type theory | 3 | 1 | 15 | 7 | 4 | 7 | 0 |
Total de Descargas
| Visitas | |
|---|---|
| PER91.pdf | 85 |
Top Países
| Visitas | |
|---|---|
| Uruguay | 61 |
| Estados Unidos | 30 |
| Canadá | 17 |
| China | 5 |
| Ucrania | 5 |
| Vietnam | 4 |
| Brasil | 3 |
| Ecuador | 2 |
| Polonia | 2 |
| Argentina | 1 |
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 58 |
| Ottawa | 16 |
| Fairfield | 7 |
| Hanoi | 4 |
| Jacksonville | 4 |
| Oakland | 4 |
| Beijing | 3 |
| Menlo Park | 3 |
| Mountain View | 3 |
| Salt Lake City | 2 |