IRIS
ROSOLINI, GIUSEPPE
 Distribuzione geografica
Salva come PNG Salva come JPEG
Continente #
EU - Europa 7.458
Totale 7.458
Salva come PNG Salva come JPEG
Nazione #
IT - Italia 7.458
Totale 7.458
Salva come PNG Salva come JPEG
Città #
Genova 5.510
Rapallo 804
Genoa 684
Vado Ligure 457
Bordighera 3
Totale 7.458
Salva come PNG Salva come JPEG
Nome #
Two models of Synthetic Domain Theory 153
A modular approach to denotational semantics 137
Synthetic Domain Theory and Models of Linear Abadi-Plotkin Logic 125
Sobriety for equilogical spaces 124
The discrete objects in the effective topos 122
TOPOLOGIES AND FREE CONSTRUCTIONS 121
Completions, comonoids, and topological spaces 120
Unifying Exact Completions 120
Locally cartesian closed exact completions 117
Polymorphism, set theory, and call-by-value 117
Algebraic types in PER models 117
Comparing models of higher type computation 115
The category of equilogical spaces and the effective topos as homotopical quotients 112
Explicit Constructive Logic ECL: A New Representation of Construction and Selection of Logical Information by an Epistemic Agent 109
Repleteness and the associated sheaf 107
An abstract look at realizability 106
A categorical view of process refinement 104
Quotient completion for the foundation of constructive mathematics 103
Representation theorems for p-categories 103
Categories and effective computations 102
Synthetic domain theory and models of linear Abadi-Plotkin logic 101
Studying repleteness in the category of cpos 101
Fixpoint operators for domain equations 100
Reflexive graphs and parametric polymorphism 100
Relating Quotient Completions via Categorical Logic 100
Category Theory. Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 99
Colimit completions and the effective topos 98
Custom automations in Mizar 97
CT2010. Special issue of Journal of Pure and Applied Algebra 97
Domains in H 93
ELEMENTARY QUOTIENT COMPLETION 93
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings 92
An algebraic description of some state-dependent failure mechanisms 92
A note on Cauchy completeness for preorders 90
Equilogical spaces and filter spaces 89
Lifting 85
The category of cpos from a synthetic viewpoint 85
Workshop on Realizability Semantics and Applications. Special Issue of Electronic Notes in Theoretical Computer Science 84
Triposes, exact completions, and Hilbert's ε-operator 84
Elementary doctrines as coalgebras 82
Realizability. Special Issue of Mathematical Structures in Computer Science 81
Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 80
About modest sets 80
Equilogical spaces and algebras for a double-power monad 80
Sulla orme di Alice nel paese della Scienza 78
Domains and Denotational Semantics: History, Accomplishments and Open Problems 77
A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus 76
Semilattices and frames in a topos 76
Extensional PERs 75
Spaces as comonoids 74
Functorial Parametricity 67
Preface to the volume on Recent developments in domain theory: a collection of papers in honour of Dana S. Scott 67
CT2000 Conference. Special Issue of Theory and Applications of Categories 66
Il gioco della logica di Lewis Carroll (e di altri) 66
Categories of partial maps 66
30x5 - Il luna-park della matematica 65
Extensional PERs 65
Il gioco della logica di Lewis Carroll e i sillogismi 65
Una fetta di scienza 64
La resa della logica 63
Paral-lex 62
Logica nelle applicazioni 59
Dinaturality for free 58
Frames and Topological Algebras for a Double-Power Monad 58
Type theory via exact categories (extended abstract) 57
Matematica al bar 57
Odissea 56
Electronic Notes in Theoretical Computer Science: Preface 56
Le direzioni della ricerca logica in Italia: teoria delle categorie e logica categoriale 56
Sfida coi numeri 55
The Italian Team Competition 55
An ExPER model for QUEST 55
Alan Turing: tra logica e informatica 54
Agorà 54
A characterisation of elementary fibrations 54
MateFitness - La Palestra della Matematica 53
MateFitness - La palestra della matematica 52
Domains and dominical categories 52
Una matematica diversa 52
Cantor e gli insiemi 52
MateFitness - La Palestra della Matematica 51
On lattice extensions 51
Didattica della matematica 50
Turing, biografia di un pioniere 50
Frame extensions in a topos 49
Cantor Al Bar 49
Doctrines, modalities and comonads 48
Editorial 46
Discorrendo in un bar a Genova, in via Albaro 45
Dagli insiemi alle categorie 44
Le stanze dei numeri 42
Etnomatematica 40
Digilandia 40
La fabbrica dei numeri 36
Gödel al bar 35
Connessioni 35
Elementary fibrations of enriched groupoids 35
Elementary quotient completions, church’s thesis, and partitioned assemblies 32
A comonad for Grothendieck fibrations 23
Local and global problems: the sheaf approach 9
Totale 7.544
Salva come PNG Salva come JPEG
Categoria #
all - tutte 23.681
article - articoli 13.932
book - libri 371
conference - conferenze 2.584
curatela - curatele 1.776
other - altro 2.495
patent - brevetti 0
selected - selezionate 0
volume - volumi 2.523
Totale 47.362
Salva come PNG Salva come JPEG


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.623 0 0 0 0 153 178 300 90 145 400 254 103
2020/2021387 29 22 27 31 17 34 20 31 55 45 35 41
2021/20221.086 19 116 56 148 32 73 96 221 40 100 42 143
2022/20231.018 117 38 5 108 137 195 30 78 212 7 67 24
2023/2024400 35 63 5 60 26 57 18 12 28 7 32 57
2024/2025535 135 125 48 71 156 0 0 0 0 0 0 0
Totale 7.544