Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Course-of-values recursion in Martin-Löf's type theory | 41 |
Total de Visitas por Mes
| noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
|---|---|---|---|---|---|---|---|
| Course-of-values recursion in Martin-Löf's type theory | 1 | 0 | 0 | 0 | 0 | 0 | 1 |
Total de Descargas
| Visitas | |
|---|---|
| PER91.pdf | 32 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 20 |
| Uruguay | 13 |
| Ucrania | 4 |
| Canadá | 2 |
| Irán | 1 |
| México | 1 |
Top Ciudades
| Visitas | |
|---|---|
| Montevideo | 13 |
| Fairfield | 7 |
| Jacksonville | 4 |
| Oakland | 4 |
| Mountain View | 3 |
| Houston | 1 |
| Mexico | 1 |
| Montréal | 1 |
| Ottawa | 1 |
| Wilmington | 1 |