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


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2019/20201.709 0 0 0 86 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/2025321 135 125 48 13 0 0 0 0 0 0 0 0
Totale 7.330