Statistik för On Initial Categories with Families Formalization of unityped and simply typed CwFs in Agda
Totalt antal besök
| views | |
|---|---|
| On Initial Categories with Families Formalization of unityped and simply typed CwFs in Agda | 45 |
Totalt antal besök per månad
| views | |
|---|---|
| October 2023 | 0 |
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
Nedladdningar
| views | |
|---|---|
| 255039.pdf | 46 |
Visningar per land (topp)
| views | |
|---|---|
| Sweden | 9 |
| Greece | 8 |
| United States | 7 |
| Canada | 5 |
| United Kingdom | 5 |
| China | 4 |
| Hong Kong SAR China | 2 |
| Australia | 1 |
| Germany | 1 |
| France | 1 |
| Russia | 1 |
| Singapore | 1 |
Visningar per stad (topp)
| views | |
|---|---|
| Athens | 5 |
| Montreal | 3 |
| Ormskirk | 3 |
| Beijing | 2 |
| Central | 2 |
| Thessaloniki | 2 |
| Waterloo | 2 |
| Berlin | 1 |
| Cambridge | 1 |
| Des Moines | 1 |
| Heraklion | 1 |
| London | 1 |
| Los Angeles | 1 |
| Miami | 1 |
| Moscow | 1 |
| Mountain View | 1 |
| Norrköping | 1 |
| Providence | 1 |
| Qingdao | 1 |
| Singapore | 1 |
| Stockholm | 1 |
| Sydney | 1 |
| Örebro | 1 |