Statistics for Formalizing Probability Concepts in a Type Theory
Total visits
| views | |
|---|---|
| Formalizing Probability Concepts in a Type Theory | 895 |
Total visits per month
| views | |
|---|---|
| October 2023 | 0 |
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
File Visits
| views | |
|---|---|
| Published online.pdf(legacy) | 583 |
| Published online.pdf | 11 |
Top country views
| views | |
|---|---|
| New Zealand | 466 |
| United States | 300 |
| France | 38 |
| Ireland | 14 |
| China | 13 |
| Australia | 9 |
| Sweden | 6 |
| India | 5 |
| Singapore | 5 |
| United Kingdom | 3 |
| Russia | 3 |
| Canada | 2 |
| Germany | 2 |
| Iran | 2 |
| South Korea | 2 |
| Pakistan | 2 |
| Romania | 2 |
| Ukraine | 2 |
| A1 | 1 |
| Czechia | 1 |
| Greece | 1 |
| Hungary | 1 |
| Malaysia | 1 |
| Netherlands | 1 |
| Turkey | 1 |
Top city views
| views | |
|---|---|
| Auckland | 461 |
| Ashburn | 93 |
| Fairfax | 41 |
| Buffalo | 33 |
| Chicago | 20 |
| Redwood City | 18 |
| Dublin | 14 |
| Louisville | 11 |
| Sydney | 9 |
| Stockholm | 6 |
| Changi | 5 |
| San Diego | 4 |
| Seattle | 4 |
| Bhiwadi | 3 |
| Alameda | 2 |
| Andover | 2 |
| Beijing | 2 |
| Boardman | 2 |
| Dunedin | 2 |
| Faisalabad | 2 |
| Mountain View | 2 |
| Philadelphia | 2 |
| Toronto | 2 |
| Wellington | 2 |
| Woodbridge | 2 |
| Ann Arbor | 1 |
| Arkhangelsk | 1 |
| Buftea | 1 |
| Chandler | 1 |
| Des Moines | 1 |
| Evanston | 1 |
| Galati | 1 |
| Guangzhou | 1 |
| Kuala Lumpur | 1 |
| Luton | 1 |
| Miami | 1 |
| Norwalk | 1 |
| Phoenix | 1 |
| Portland | 1 |
| Rostov-on-don | 1 |
| Saint Petersburg | 1 |
| San Jose | 1 |
| Stambul | 1 |
| Suwon | 1 |
| Temecula | 1 |
| Vólos | 1 |
| Yazd | 1 |