Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| An operational approach to program extraction in the Calculus of Constructions | 119 |
Total de Visitas por Mes
| agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | diciembre 2025 | enero 2026 | febrero 2026 | |
|---|---|---|---|---|---|---|---|
| An operational approach to program extraction in the Calculus of Constructions | 0 | 1 | 4 | 15 | 3 | 10 | 0 |
Total de Descargas
| Visitas | |
|---|---|
| TR0216.pdf | 110 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 38 |
| Canadá | 16 |
| China | 14 |
| Japón | 8 |
| Uruguay | 8 |
| Alemania | 5 |
| Brasil | 3 |
| India | 2 |
| Polonia | 2 |
| Rumania | 2 |
Top Ciudades
| Visitas | |
|---|---|
| Ottawa | 16 |
| Fairfield | 9 |
| Montevideo | 8 |
| San Diego | 6 |
| Nanjing | 5 |
| Oakland | 5 |
| Beijing | 3 |
| Karlsruhe | 3 |
| Mountain View | 3 |
| Ann Arbor | 2 |