Estatísticas para Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems
Total de visitas
| views | |
|---|---|
| Language Primitives and Type Discipline for Structured Communication-Based Programming, Subject Reduction and Type Safety Theorems | 159 |
Total de visitas por mês
| views | |
|---|---|
| outubro 2025 | 0 |
| novembro 2025 | 0 |
| dezembro 2025 | 0 |
| janeiro 2026 | 0 |
| fevereiro 2026 | 0 |
| março 2026 | 0 |
| abril 2026 | 0 |
Downloads
| views | |
|---|---|
| 06-9.pdf | 192 |
| Philosophica 32-7.pdf | 1 |
Top de consultas por país
| views | |
|---|---|
| Estados Unidos | 65 |
| Portugal | 41 |
| China | 20 |
| Rússia | 16 |
| França | 4 |
| Canadá | 2 |
| Antígua e Barbuda | 1 |
| Brasil | 1 |
| Bielorrússia | 1 |
| Alemanha | 1 |
| Reino Unido | 1 |
| Itália | 1 |
| Japão | 1 |
| Letónia | 1 |
| Mali | 1 |
| México | 1 |
| Filipinas | 1 |