Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| An operational approach to program extraction in the Calculus of Constructions | 57 |
Total de Visitas por Mes
| noviembre 2023 | diciembre 2023 | enero 2024 | febrero 2024 | marzo 2024 | abril 2024 | mayo 2024 | |
|---|---|---|---|---|---|---|---|
| An operational approach to program extraction in the Calculus of Constructions | 0 | 0 | 0 | 3 | 0 | 1 | 0 |
Total de Descargas
| Visitas | |
|---|---|
| TR0216.pdf | 60 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 25 |
| China | 13 |
| Alemania | 5 |
| Uruguay | 3 |
| Polonia | 2 |
| Colombia | 1 |
| Irlanda | 1 |
Top Ciudades
| Visitas | |
|---|---|
| Fairfield | 9 |
| Nanjing | 5 |
| Oakland | 5 |
| San Diego | 4 |
| Beijing | 3 |
| Karlsruhe | 3 |
| Montevideo | 3 |
| Ann Arbor | 2 |
| Shenyang | 2 |
| Bogotá | 1 |