ROSOLINI, GIUSEPPE

ROSOLINI, GIUSEPPE  

100021 - Dipartimento di Matematica  

Mostra records
Risultati 1 - 20 di 98 (tempo di esecuzione: 0.036 secondi).
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 note on Cauchy completeness for preorders 1-gen-1999 Rosolini, Giuseppe
About modest sets 1-gen-1990 Rosolini, Giuseppe
An abstract look at realizability 1-gen-2001 E. P., Robinson; Rosolini, Giuseppe
Agorà 1-gen-2011 G., Filocamo; Rosolini, Giuseppe; F., Sozzi
Alan Turing: tra logica e informatica 1-gen-2008 Rosolini, Giuseppe
An algebraic description of some state-dependent failure mechanisms 1-gen-1988 Schreiber, Fabio A; Rosolini, Giuseppe
Algebraic types in PER models 1-gen-1990 M., Hyland; E., Robinson; 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
The category of cpos from a synthetic viewpoint 1-gen-1997 Fiore, M.; Rosolini, Giuseppe
The category of equilogical spaces and the effective topos as homotopical quotients 1-gen-2016 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
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
A characterisation of elementary fibrations 1-gen-2022 Emmenegger, Jacopo; Pasquali, Fabio; Rosolini, Giuseppe