ROSOLINI, GIUSEPPE
ROSOLINI, GIUSEPPE
100021 - Dipartimento di Matematica
A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus
2006-01-01 Martin, Hyland; Misao, Nagayama; John, Power; Rosolini, Giuseppe
A characterisation of elementary fibrations
2022-01-01 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe
A comonad for Grothendieck fibrations
2024-01-01 Emmenegger, Jacopo; Mesiti, Luca; Rosolini, Giuseppe; Streicher, Thomas
A note on Cauchy completeness for preorders
1999-01-01 Rosolini, Giuseppe
About modest sets
1990-01-01 Rosolini, Giuseppe
An algebraic description of some state-dependent failure mechanisms
1988-01-01 Schreiber, Fabio A; Rosolini, Giuseppe
Cantor Al Bar
2018-01-01 Lucchetti, Roberto; Rosolini, Giuseppe
Cantor e gli insiemi
2018-01-01 Rosolini, Giuseppe
Categories of partial maps
1988-01-01 Robinson, E.; Rosolini, Giuseppe
Colimit completions and the effective topos
1990-01-01 Robinson, E.; Rosolini, Giuseppe
Comparing models of higher type computation
1999-01-01 Rosolini, Giuseppe; S. T. R. E. I. C. H. E. R., T.
Completions, comonoids, and topological spaces
2006-01-01 Bucalo, A.; Rosolini, Giuseppe
Connessioni
2012-01-01 Rosolini, Giuseppe
Custom automations in Mizar
2013-01-01 Caminati, M; Rosolini, Giuseppe
Dagli insiemi alle categorie
2014-01-01 Rosolini, Giuseppe
Discorrendo in un bar a Genova, in via Albaro
2007-01-01 Lucchetti, Roberto; Rosolini, Giuseppe
Doctrines, modalities and comonads
2021-01-01 Dagnino, Francesco; Rosolini, Giuseppe
Domains and Denotational Semantics: History, Accomplishments and Open Problems
1996-01-01 Fiore, M. P.; Jung, A.; Moggi, Eugenio; O'Hearn, P.; Riecke, J.; Rosolini, Giuseppe
Domains and dominical categories
1985-01-01 Rosolini, Giuseppe
Domains in H
2001-01-01 Fiore, M.; Rosolini, Giuseppe
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A Category Theoretic Formulation for Engeler-style Models of the Untyped Lambda-Calculus | 1-gen-2006 | Martin, Hyland; Misao, Nagayama; John, Power; Rosolini, Giuseppe | |
A characterisation of elementary fibrations | 1-gen-2022 | Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe | |
A comonad for Grothendieck fibrations | 1-gen-2024 | Emmenegger, Jacopo; Mesiti, Luca; Rosolini, Giuseppe; Streicher, Thomas | |
A note on Cauchy completeness for preorders | 1-gen-1999 | Rosolini, Giuseppe | |
About modest sets | 1-gen-1990 | Rosolini, Giuseppe | |
An algebraic description of some state-dependent failure mechanisms | 1-gen-1988 | Schreiber, Fabio A; Rosolini, Giuseppe | |
Cantor Al Bar | 1-gen-2018 | Lucchetti, Roberto; Rosolini, Giuseppe | |
Cantor e gli insiemi | 1-gen-2018 | Rosolini, Giuseppe | |
Categories of partial maps | 1-gen-1988 | Robinson, E.; Rosolini, Giuseppe | |
Colimit completions and the effective topos | 1-gen-1990 | Robinson, E.; Rosolini, Giuseppe | |
Comparing models of higher type computation | 1-gen-1999 | Rosolini, Giuseppe; S. T. R. E. I. C. H. E. R., T. | |
Completions, comonoids, and topological spaces | 1-gen-2006 | Bucalo, A.; Rosolini, Giuseppe | |
Connessioni | 1-gen-2012 | Rosolini, Giuseppe | |
Custom automations in Mizar | 1-gen-2013 | Caminati, M; Rosolini, Giuseppe | |
Dagli insiemi alle categorie | 1-gen-2014 | Rosolini, Giuseppe | |
Discorrendo in un bar a Genova, in via Albaro | 1-gen-2007 | Lucchetti, Roberto; Rosolini, Giuseppe | |
Doctrines, modalities and comonads | 1-gen-2021 | Dagnino, Francesco; Rosolini, Giuseppe | |
Domains and Denotational Semantics: History, Accomplishments and Open Problems | 1-gen-1996 | Fiore, M. P.; Jung, A.; Moggi, Eugenio; O'Hearn, P.; Riecke, J.; Rosolini, Giuseppe | |
Domains and dominical categories | 1-gen-1985 | Rosolini, Giuseppe | |
Domains in H | 1-gen-2001 | Fiore, M.; Rosolini, Giuseppe |