IRIS Institutional Research Information System - AIR Archivio Istituzionale della Ricerca

PASQUALI, FABIO
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 1.351
AS - Asia 352
EU - Europa 134
SA - Sud America 34
Totale 1.871
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 1.341
SG - Singapore 135
CN - Cina 119
IT - Italia 69
BR - Brasile 27
RU - Federazione Russa 27
BD - Bangladesh 26
VN - Vietnam 26
HK - Hong Kong 24
FR - Francia 19
KR - Corea 14
IN - India 5
MX - Messico 5
CA - Canada 4
DE - Germania 3
EC - Ecuador 3
GB - Regno Unito 3
AR - Argentina 2
AT - Austria 2
ES - Italia 2
FI - Finlandia 2
HU - Ungheria 2
NL - Olanda 2
AM - Armenia 1
BB - Barbados 1
CO - Colombia 1
IQ - Iraq 1
JP - Giappone 1
LT - Lituania 1
PL - Polonia 1
PY - Paraguay 1
SE - Svezia 1
Totale 1.871
Salva come PNG Salva come JPEG
Città #
Dallas 1.166
San Jose 34
Singapore 34
Santa Clara 33
Hefei 22
Milan 20
Ashburn 14
Seoul 14
Council Bluffs 12
Lauterbourg 12
Los Angeles 10
Buffalo 8
Ho Chi Minh City 8
Hong Kong 8
Beijing 7
Guangzhou 7
Moscow 7
Shenzhen 6
Bengaluru 4
Cesano Maderno 4
Hanoi 4
Mexico City 4
New York 4
Bloomington 3
Brooklyn 3
Frankfurt am Main 3
Genoa 3
Haiphong 3
São Paulo 3
Tianjin 3
Turin 3
Vitry-sur-Seine 3
Arcadia 2
Bari 2
Budapest 2
Curitiba 2
Hampstead 2
Hải Dương 2
Lake Charles 2
Le Bourget-du-Lac 2
Mocksville 2
Montgomery 2
Montirone 2
Montpellier 2
Orland Park 2
Padua 2
Palermo 2
Paris 2
Quito 2
Rome 2
Treviso 2
Udine 2
Vienna 2
Ahmedabad 1
Americana 1
Amherst Nova Scotia 1
Amsterdam 1
Araxá 1
Arcene 1
Arroyo Grande 1
Asunción 1
Basra 1
Bellwood 1
Belo Horizonte 1
Biguaçu 1
Bloomfield 1
Boardman 1
Bridgetown 1
Bến Tre 1
Calgary 1
Campinas 1
Canning Town 1
Cashmere 1
Changchun 1
Chantilly 1
Chicago 1
Cianorte 1
City of London 1
Denver 1
Dongguan 1
Doylestown 1
Entre Rios de Minas 1
Figino 1
Florence 1
Forest Park 1
Gravataí 1
Greensboro 1
Guarulhos 1
Guayaquil 1
Helsinki 1
Hortolândia 1
Huanggang 1
Indianapolis 1
Lakeland 1
Lappeenranta 1
Limoeiro do Norte 1
Lissone 1
Lấp Vò 1
Madrid 1
Modena 1
Totale 1.558
Salva come PNG Salva come JPEG
Nome #
A characterisation of elementary fibrations 323
Triposes, exact completions, and Hilbert's ε-operator 290
Elementary quotient completions, church’s thesis, and partitioned assemblies 279
On a generalization of equilogical spaces 211
Elementary fibrations of enriched groupoids 123
Logical Foundations of Quantitative Equality 123
Quantitative Equality in Substructural Logic via Lipschitz Doctrines 91
Cauchy Completions and the Rule of Unique Choice in Relational Doctrines 91
Quotients and Extensionality in Relational Doctrines 65
Elementary doctrines as coalgebras 53
A characterization of those categories whose internal logic is Hilbert's ε-calculus 45
Remarks on the tripos to topos construction: comprehension, extensionality, quotients and functional-completeness 43
L'hotel di Hilbert e l'imbarazzo della scelta 35
A Co-free Construction for Elementary Doctrines 34
Giochi di Lafont 34
The relational quotient completion 33
Quantification in Ordinary Language and Proof Theory 32
Local cartesian closure of elementary quotient completions 32
Totale 1.937
Salva come PNG Salva come JPEG
Categoria #
all - tutte 3.125
article - articoli 0
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 3.125
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2024/202546 0 0 0 0 0 0 0 0 3 21 9 13
2025/20261.860 12 34 1.232 69 62 48 48 61 100 53 78 63
2026/202731 31 0 0 0 0 0 0 0 0 0 0 0
Totale 1.937