Statistics for Formalizing Relations in Type Theory
Total visits
| views | |
|---|---|
| Formalizing Relations in Type Theory | 46 |
Total visits per month
| views | |
|---|---|
| November 2023 | 0 |
| December 2023 | 0 |
| January 2024 | 0 |
| February 2024 | 0 |
| March 2024 | 0 |
| April 2024 | 0 |
| May 2024 | 0 |
File Visits
| views | |
|---|---|
| 1587-JMSS.pdf | 21 |
| 1587-JMSS.pdf(legacy) | 13 |
Top country views
| views | |
|---|---|
| Ireland | 17 |
| United States | 14 |
| New Zealand | 7 |
| Australia | 3 |
| Hungary | 2 |
| Canada | 1 |
Top city views
| views | |
|---|---|
| Dublin | 17 |
| Auckland | 7 |
| Ashburn | 4 |
| Sydney | 3 |
| Alameda | 2 |
| Louisville | 1 |
| Redwood City | 1 |
| Toronto | 1 |