Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Rosolini, Giuseppe
54  Ergebnisse:
Personensuche X
?
1

A characterisation of elementary fibrations:

Emmenegger, Jacopo ; Pasquali, Fabio ; Rosolini, Giuseppe
Annals of Pure and Applied Logic.  173 (2022)  6 - p. 103103 , 2022
Link: https://doi.org/10.1016/..
 
?
2

Doctrines, modalities and comonads:

Dagnino, Francesco ; Rosolini, Giuseppe
Mathematical Structures in Computer Science.  31 (2021)  7 - p. 769-798 , 2021
Link: https://doi.org/10.1017/..
 
?
3

Elementary fibrations of enriched groupoids:

Emmenegger, Jacopo ; Pasquali, Fabio ; Rosolini, Giuseppe
Mathematical Structures in Computer Science.  31 (2021)  9 - p. 958-978 , 2021
Link: https://doi.org/10.1017/..
 
?
4

Elementary doctrines as coalgebras:

Emmenegger, Jacopo ; Pasquali, Fabio ; Rosolini, Giuseppe
Journal of Pure and Applied Algebra.  224 (2020)  12 - p. 106445 , 2020
Link: https://doi.org/10.1016/..
 
?
5

Equilogical spaces and algebras for a double-power monad:

Frosoni, Giulia ; Rosolini, Giuseppe
Tbilisi Mathematical Journal.  10 (2017)  3 - p. , 2017
Link: https://doi.org/10.1515/..
 
?
6

Triposes, exact completions, and Hilbert's ε-operator:

Maietti, Maria Emilia ; Pasquali, Fabio ; Rosolini, Giuseppe
Tbilisi Mathematical Journal.  10 (2017)  3 - p. , 2017
Link: https://doi.org/10.1515/..
 
?
7

The category of equilogical spaces and the effective topos ..:

Rosolini, Giuseppe
Journal of Homotopy and Related Structures.  11 (2016)  4 - p. 943-956 , 2016
Link: https://doi.org/10.1007/..
 
?
8

Sobriety for equilogical spaces:

Bucalo, Anna ; Rosolini, Giuseppe
Theoretical Computer Science.  546 (2014)  - p. 93-98 , 2014
Link: https://doi.org/10.1016/..
 
?
9

Quotient Completion for the Foundation of Constructive Math..:

Maietti, Maria Emilia ; Rosolini, Giuseppe
Logica Universalis.  7 (2013)  3 - p. 371-402 , 2013
Link: https://doi.org/10.1007/..
 
?
10

Unifying Exact Completions:

Maietti, Maria Emilia ; Rosolini, Giuseppe
Applied Categorical Structures.  23 (2013)  1 - p. 43-52 , 2013
Link: https://doi.org/10.1007/..
 
?
11

Custom Automations in Mizar:

Caminati, Marco Bright ; Rosolini, Giuseppe
Journal of Automated Reasoning.  50 (2012)  2 - p. 147-160 , 2012
Link: https://doi.org/10.1007/..
 
?
12

Editorial:

Adámek, Jiří ; Janelidze, George ; Rosebrugh, Robert.
Journal of Pure and Applied Algebra.  216 (2012)  8-9 - p. 1705 , 2012
Link: https://doi.org/10.1016/..
 
?
13

Synthetic domain theory and models of linear Abadi & Plotki..:

Møgelberg, Rasmus Ejlers ; Birkedal, Lars ; Rosolini, Giuseppe
Annals of Pure and Applied Logic.  155 (2008)  2 - p. 115-133 , 2008
Link: https://doi.org/10.1016/..
 
?
14

A Category Theoretic Formulation for Engeler-style Models o..:

Hyland, Martin ; Nagayama, Misao ; Power, John.
Electronic Notes in Theoretical Computer Science.  161 (2006)  - p. 43-57 , 2006
Link: https://doi.org/10.1016/..
 
?
15

Synthetic Domain Theory and Models of Linear Abadi & Plotki..:

Møgelberg, Rasmus Ejlers ; Birkedal, Lars ; Rosolini, Giuseppe
Electronic Notes in Theoretical Computer Science.  155 (2006)  - p. 219-245 , 2006
Link: https://doi.org/10.1016/..
 
1-15