ROSOLINI, GIUSEPPE
ROSOLINI, GIUSEPPE
100021 - Dipartimento di Matematica
30x5 - Il luna-park della matematica
2011-01-01 L., Balletti; S., Borgiani; G., Filocamo; Rosolini, Giuseppe; C., Tria
A categorical view of process refinement
1993-01-01 Degano, P.; Gorrieri, R.; Rosolini, Giuseppe
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 Mesiti, Luca; Rosolini, Giuseppe; Streicher, Thomas
A modular approach to denotational semantics
1998-01-01 Power, A. J.; Rosolini, Giuseppe
A note on Cauchy completeness for preorders
1999-01-01 Rosolini, Giuseppe
About modest sets
1990-01-01 Rosolini, Giuseppe
Agorà
2011-01-01 G., Filocamo; Rosolini, Giuseppe; F., Sozzi
Alan Turing: tra logica e informatica
2008-01-01 Rosolini, Giuseppe
Algebraic types in PER models
1990-01-01 M., Hyland; E., Robinson; Rosolini, Giuseppe
An abstract look at realizability
2001-01-01 E. P., Robinson; Rosolini, Giuseppe
An algebraic description of some state-dependent failure mechanisms
1988-01-01 Schreiber, Fabio A; Rosolini, Giuseppe
An ExPER model for QUEST
1992-01-01 Rosolini, Giuseppe
Cantor Al Bar
2018-01-01 Lucchetti, Roberto; Rosolini, Giuseppe
Cantor e gli insiemi
2018-01-01 Rosolini, Giuseppe
Categories and effective computations
1987-01-01 Rosolini, Giuseppe
Categories of partial maps
1988-01-01 Robinson, E.; Rosolini, Giuseppe
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings
1997-01-01 Moggi, Eugenio; Rosolini, Giuseppe
Category Theory. Proceedings of the International Conference held in Como, Italy, July 22–28, 1990
1991-01-01 A., Carboni; M. G., Pedicchio; Rosolini, Giuseppe
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
30x5 - Il luna-park della matematica | 1-gen-2011 | L., Balletti; S., Borgiani; G., Filocamo; Rosolini, Giuseppe; C., Tria | |
A categorical view of process refinement | 1-gen-1993 | Degano, P.; Gorrieri, R.; Rosolini, Giuseppe | |
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 | Mesiti, Luca; Rosolini, Giuseppe; Streicher, Thomas | |
A modular approach to denotational semantics | 1-gen-1998 | Power, A. J.; Rosolini, Giuseppe | |
A note on Cauchy completeness for preorders | 1-gen-1999 | Rosolini, Giuseppe | |
About modest sets | 1-gen-1990 | Rosolini, Giuseppe | |
Agorà | 1-gen-2011 | G., Filocamo; Rosolini, Giuseppe; F., Sozzi | |
Alan Turing: tra logica e informatica | 1-gen-2008 | Rosolini, Giuseppe | |
Algebraic types in PER models | 1-gen-1990 | M., Hyland; E., Robinson; Rosolini, Giuseppe | |
An abstract look at realizability | 1-gen-2001 | E. P., Robinson; Rosolini, Giuseppe | |
An algebraic description of some state-dependent failure mechanisms | 1-gen-1988 | Schreiber, Fabio A; Rosolini, Giuseppe | |
An ExPER model for QUEST | 1-gen-1992 | Rosolini, Giuseppe | |
Cantor Al Bar | 1-gen-2018 | Lucchetti, Roberto; Rosolini, Giuseppe | |
Cantor e gli insiemi | 1-gen-2018 | Rosolini, Giuseppe | |
Categories and effective computations | 1-gen-1987 | Rosolini, Giuseppe | |
Categories of partial maps | 1-gen-1988 | Robinson, E.; Rosolini, Giuseppe | |
Category Theory and Computer Science. 7th International Conference, CTCS '97 Santa Margherita Ligure Italy, September 4–6, 1997. Proceedings | 1-gen-1997 | Moggi, Eugenio; Rosolini, Giuseppe | |
Category Theory. Proceedings of the International Conference held in Como, Italy, July 22–28, 1990 | 1-gen-1991 | A., Carboni; M. G., Pedicchio; Rosolini, Giuseppe |