ROSOLINI, GIUSEPPE
ROSOLINI, GIUSEPPE
100021 - Dipartimento di Matematica
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
CT2000 Conference. Special Issue of Theory and Applications of Categories
2001-01-01 Rosolini, Giuseppe; Carboni, A.; Walters, R.
CT2010. Special issue of Journal of Pure and Applied Algebra
2012-01-01 Jiry, Adamek; George, Janelidze; Robert, Rosebrugh; Rosolini, Giuseppe
Realizability. Special Issue of Mathematical Structures in Computer Science
2002-01-01 Birkedal, L.; Scott, D. S.; Rosolini, Giuseppe; VAN OOSTEN, J.
Recent developments in domain theory: a collection of papers in honour of Dana S. Scott
2004-01-01 Birkedal, L.; Escardo, M.; Jung, A.; Rosolini, Giuseppe
Sulla orme di Alice nel paese della Scienza
2011-01-01 Arillo, Attilio; Perdelli, Fernanda; Spagnolo, ANNA MARIA; Sartini, Marina; Albini, Adriana; Manuzio, Giulio; Petrillo, Giovanni; Pusillo, ANGELA LUCIA; Pagnan, Ruggero; Rosolini, Giuseppe
Workshop on Realizability Semantics and Applications. Special Issue of Electronic Notes in Theoretical Computer Science
1999-01-01 L., Birkedal; Rosolini, Giuseppe; D. S., Scott; J., van Oosten
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| 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 | |
| CT2000 Conference. Special Issue of Theory and Applications of Categories | 1-gen-2001 | Rosolini, Giuseppe; Carboni, A.; Walters, R. | |
| CT2010. Special issue of Journal of Pure and Applied Algebra | 1-gen-2012 | Jiry, Adamek; George, Janelidze; Robert, Rosebrugh; Rosolini, Giuseppe | |
| Realizability. Special Issue of Mathematical Structures in Computer Science | 1-gen-2002 | Birkedal, L.; Scott, D. S.; Rosolini, Giuseppe; VAN OOSTEN, J. | |
| Recent developments in domain theory: a collection of papers in honour of Dana S. Scott | 1-gen-2004 | Birkedal, L.; Escardo, M.; Jung, A.; Rosolini, Giuseppe | |
| Sulla orme di Alice nel paese della Scienza | 1-gen-2011 | Arillo, Attilio; Perdelli, Fernanda; Spagnolo, ANNA MARIA; Sartini, Marina; Albini, Adriana; Manuzio, Giulio; Petrillo, Giovanni; Pusillo, ANGELA LUCIA; Pagnan, Ruggero; Rosolini, Giuseppe | |
| Workshop on Realizability Semantics and Applications. Special Issue of Electronic Notes in Theoretical Computer Science | 1-gen-1999 | L., Birkedal; Rosolini, Giuseppe; D. S., Scott; J., van Oosten |