GAVAZZO, FRANCESCO
 Distribuzione geografica
Continente #
NA - Nord America 94
AS - Asia 65
EU - Europa 27
Totale 186
Nazione #
US - Stati Uniti d'America 94
SG - Singapore 64
IT - Italia 17
FR - Francia 7
RU - Federazione Russa 2
CN - Cina 1
FI - Finlandia 1
Totale 186
Città #
Singapore 58
Boardman 19
Santa Clara 18
Padova 11
Bologna 2
Saint-Laurent-du-Var 2
Fregona 1
Helsinki 1
Modena 1
North Bergen 1
Rome 1
Totale 115
Nome #
Differential logical relations* part II: Increments and derivatives 16
A Relational Theory of Monadic Rewriting Systems, Part i 14
Open Higher-Order Logic 13
Resource transition systems and full abstraction for linear higher-order effectful programs 12
Allegories of Symbolic Manipulations 12
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice 12
Effectful applicative similarity for call-by-name lambda calculi 12
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem 11
Differential logical relations, part II increments and derivatives 11
Elements of Quantitative Rewriting 11
Effectful applicative bisimilarity: Monads, relators, and Howe's method 11
Differential logical relations, Part I: The simply-typed case 10
Effectful program distancing 10
A relational theory of effects and coeffects 10
Effectful applicative similarity for call-by-name lambda calculi 9
On Feller continuity and full abstraction 9
A Fibrational Tale of Operational Logical Relations 9
Effectful Normal Form Bisimulation 8
Quantitative behavioural reasoning for higher-order effectful programs: Applicative distances 6
Totale 206
Categoria #
all - tutte 1.115
article - articoli 354
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 1.469


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/202447 0 0 0 0 0 0 4 2 19 3 8 11
2024/2025159 2 89 10 18 37 2 1 0 0 0 0 0
Totale 206