IRIS
LENISA, Marina
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
NA - Nord America 4.514
EU - Europa 1.068
AS - Asia 390
Continente sconosciuto - Info sul continente non disponibili 4
AF - Africa 3
SA - Sud America 2
OC - Oceania 1
Totale 5.982
Salva come PNG Salva come JPEG
Nazione #
US - Stati Uniti d'America 4.484
UA - Ucraina 375
CN - Cina 199
IT - Italia 192
DE - Germania 148
SG - Singapore 131
FI - Finlandia 115
SE - Svezia 106
IE - Irlanda 63
CA - Canada 30
TR - Turchia 22
RU - Federazione Russa 13
BE - Belgio 12
GB - Regno Unito 12
IN - India 12
VN - Vietnam 12
CZ - Repubblica Ceca 7
FR - Francia 7
RO - Romania 7
IR - Iran 5
PH - Filippine 5
EU - Europa 4
NL - Olanda 4
TW - Taiwan 3
ES - Italia 2
TG - Togo 2
AE - Emirati Arabi Uniti 1
AT - Austria 1
AU - Australia 1
CL - Cile 1
CM - Camerun 1
CO - Colombia 1
EE - Estonia 1
GR - Grecia 1
LV - Lettonia 1
SI - Slovenia 1
Totale 5.982
Salva come PNG Salva come JPEG
Città #
Woodbridge 723
Ann Arbor 633
Houston 475
Fairfield 443
Chandler 267
Ashburn 266
Jacksonville 260
Wilmington 246
Seattle 180
Cambridge 159
Dearborn 146
Singapore 117
Udine 102
Beijing 73
Boardman 70
Dublin 63
Princeton 63
Trieste 28
Ottawa 24
Izmir 22
Nanjing 20
San Diego 18
Ogden 16
Norwalk 13
Brussels 12
Dong Ket 12
Reggio Nell'emilia 11
Hefei 10
Jinan 10
Monmouth Junction 10
New York 10
Santa Clara 10
Des Moines 9
Kunming 9
Guangzhou 6
Nanchang 6
Brno 5
Falls Church 5
Los Angeles 5
Milan 5
San Mateo 5
Dallas 4
Horia 4
Indiana 4
Leawood 4
Ningbo 4
Ardabil 3
Augusta 3
Grafing 3
Mumbai 3
Munich 3
Paranaque City 3
Pittsburgh 3
Sorrento 3
Spinea 3
Taipei 3
Toronto 3
Vicenza 3
Zhengzhou 3
Amsterdam 2
Andover 2
Baotou 2
Bari 2
Caserta 2
Frankfurt am Main 2
Fuzhou 2
Hangzhou 2
Helsinki 2
Jiaxing 2
Lomé 2
Omsk 2
Prague 2
Pune 2
Redwood City 2
Shenyang 2
Treviso 2
Aachen 1
Acquaviva Delle Fonti 1
Bologna 1
Brescia 1
Chaoyang 1
Chongqing 1
Costa Mesa 1
Crespino 1
Edinburgh 1
Elizabeth 1
Elkhart 1
Florence 1
Granbury 1
Guiyang 1
Haikou 1
Harbin 1
Hebei 1
Kingston 1
Lachine 1
Liberty Lake 1
Madrid 1
Marysville 1
Medellín 1
Mestre 1
Totale 4.684
Salva come PNG Salva come JPEG
Nome #
From Set-theoretic Coinduction to Coalgebraic Coinduction: some results, some problems 391
Axiomatizing Fully Complete Models for ML Polymorphic Types 150
Conway Games, coalgebraically 143
RPO, second-order contexts, and λ-calculus 143
A Conditional Logical Framework 140
Axiomatic Characterizations of Hyperuniverses and Applications 135
Categories of Coalgebraic Games with Selective Sum 133
Coalgebraic Description of Generalized Binary Methods 133
Strict Geometry of Interaction Graph Models 129
Category theory for operational semantics 128
Coinductive Characterizations of Applicative Structures 128
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language 128
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi 127
Categories of Coalgebraic Games 123
A Framework for Defining Logical Frameworks 122
Fully-complete PER Model for ML Polymorphic Types 120
Coalgebraic Methods in Computer Science 118
A definitional implementation of the LAX logical framework LLFP in CoQ, for supporting fast and loose reasoning 117
A type assignment system for game semantics 112
Processes and Hyperuniverses 111
A Complete Coinductive Logical System for Bisimulation Equivalence of Circular Objects 110
Coalgebraic Description of Generalized Binary Methods 105
RPO, Second-Order Contexts, and λ-Calculus 103
Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads 102
Linear realizability and full completeness for typed lambda calculi 101
“Wave-Style” Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models 101
Conway's Games, algebraically and coalgebraically 100
Some Properties and Some Problems on Set Functors 94
An Axiomatization of partial n-place Operations 90
Functors Determined by Values on Objects 90
CMCS 2001 88
Coalgebraic Multigames 84
Operations, Collections and Sets within a General Axiomatic Framework 82
LLF – A Logical-Logical Framework 82
TOSCA 2001 80
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic 80
An Open Logical Framework 80
Coalgebraic Coinduction in (Hyper)set-theoretic Categories 79
Equivalences and Congruences on Infinite Conway's Games 78
Semantic Techniques for Deriving Coinductive Characterizations of Observational Equivalences for lambda-calculi 75
Properties of Set Functors 74
Fully Complete Minimal PER Models for the Simply Typed Lambda-calculus 73
CALCO 2009, 3rd International Conference on Algebra and Coalgebra in Computer Science 72
Some Results on Restricted lambda-calculi 70
Implementing cantor’s paradise 69
Generalized Coiteration Schemata 68
Final Semantics for a higher order concurrent langauage 65
Λ!-calculus, intersection types, and involutions 65
Proceedings of the Workshop COMETA Computational Metamodels 64
LFP - A Logical Framework with External Predicates 64
Semantical Analysis Of Perpetual Strategies In Lambda-Calculus 63
Final Semantics for untyped lambda-calculus 62
Final Semantics for the pi-calculus 62
LF+ in Coq for fast-and-loose reasoning 62
Logical Predicates as First-Class Citizens in LF 61
A Uniform Syntactical Method for Proving Coinduction Principles in lambda-calculi 60
Unfixing the Fixpoint: the theories of the lambdaY-calculus 59
Multigames and strategies, coalgebraically 53
Innocent game semantics via intersection type assignment systems 49
Efficient Bisimilarities from Second-order Reaction Semantics for pi-calculus 48
The involutions-as-principal types/ application-as-unification analogy 40
Λ-symsym: An interactive tool for playing with involutions and types 33
Modeling fresh names in the π-calculus using abstractions 32
On Quantitative Algebraic Higher-Order Theories 14
Principal Types as Lambda Nets 12
Totale 6.029
Salva come PNG Salva come JPEG
Categoria #
all - tutte 19.450
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 19.450
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/2020989 0 0 0 0 87 232 158 160 87 131 30 104
2020/20211.063 15 104 73 183 104 132 49 79 123 63 100 38
2021/2022562 33 57 18 69 17 23 25 22 12 90 122 74
2022/2023576 71 59 21 70 61 145 0 24 89 7 14 15
2023/2024179 24 6 2 10 25 27 8 10 25 13 4 25
2024/2025268 28 75 88 58 19 0 0 0 0 0 0 0
Totale 6.029