Sfoglia per Autore
Semilattices and frames in a topos
1978-01-01 Rosolini, Giuseppe
On lattice extensions
1980-01-01 Rosolini, Giuseppe
Frame extensions in a topos
1981-01-01 Rosolini, Giuseppe
Local and global problems: the sheaf approach
1984-01-01 Rosolini, G.; D., Struppa; C., Turrini
Domains and dominical categories
1985-01-01 Rosolini, Giuseppe
Categories and effective computations
1987-01-01 Rosolini, Giuseppe
Representation theorems for p-categories
1988-01-01 Rosolini, Giuseppe
An algebraic description of some state-dependent failure mechanisms
1988-01-01 Schreiber, Fabio A; Rosolini, Giuseppe
Categories of partial maps
1988-01-01 Robinson, E.; Rosolini, Giuseppe
About modest sets
1990-01-01 Rosolini, Giuseppe
Colimit completions and the effective topos
1990-01-01 Robinson, E.; Rosolini, Giuseppe
Polymorphism, set theory, and call-by-value
1990-01-01 Robinson, E.; Rosolini, Giuseppe
Extensional PERs
1990-01-01 Freyd, P.; Mulry, P.; Rosolini, Giuseppe; Scott, D.
The discrete objects in the effective topos
1990-01-01 M., Hyland; E., Robinson; Rosolini, Giuseppe
Algebraic types in PER models
1990-01-01 M., Hyland; E., Robinson; 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
Dinaturality for free
1992-01-01 P., Freyd; E., Robinson; Rosolini, Giuseppe
An ExPER model for QUEST
1992-01-01 Rosolini, Giuseppe
Functorial Parametricity
1992-01-01 Freyd, P.; Robinson, E.; Rosolini, Giuseppe
Extensional PERs
1992-01-01 Freyd, P.; Mulry, P.; Rosolini, Giuseppe; Scott, D.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Semilattices and frames in a topos | 1-gen-1978 | Rosolini, Giuseppe | |
| On lattice extensions | 1-gen-1980 | Rosolini, Giuseppe | |
| Frame extensions in a topos | 1-gen-1981 | Rosolini, Giuseppe | |
| Local and global problems: the sheaf approach | 1-gen-1984 | Rosolini, G.; D., Struppa; C., Turrini | |
| Domains and dominical categories | 1-gen-1985 | Rosolini, Giuseppe | |
| Categories and effective computations | 1-gen-1987 | Rosolini, Giuseppe | |
| Representation theorems for p-categories | 1-gen-1988 | Rosolini, Giuseppe | |
| An algebraic description of some state-dependent failure mechanisms | 1-gen-1988 | Schreiber, Fabio A; Rosolini, Giuseppe | |
| Categories of partial maps | 1-gen-1988 | Robinson, E.; Rosolini, Giuseppe | |
| About modest sets | 1-gen-1990 | Rosolini, Giuseppe | |
| Colimit completions and the effective topos | 1-gen-1990 | Robinson, E.; Rosolini, Giuseppe | |
| Polymorphism, set theory, and call-by-value | 1-gen-1990 | Robinson, E.; Rosolini, Giuseppe | |
| Extensional PERs | 1-gen-1990 | Freyd, P.; Mulry, P.; Rosolini, Giuseppe; Scott, D. | |
| The discrete objects in the effective topos | 1-gen-1990 | M., Hyland; E., Robinson; Rosolini, Giuseppe | |
| Algebraic types in PER models | 1-gen-1990 | M., Hyland; E., Robinson; 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 | |
| Dinaturality for free | 1-gen-1992 | P., Freyd; E., Robinson; Rosolini, Giuseppe | |
| An ExPER model for QUEST | 1-gen-1992 | Rosolini, Giuseppe | |
| Functorial Parametricity | 1-gen-1992 | Freyd, P.; Robinson, E.; Rosolini, Giuseppe | |
| Extensional PERs | 1-gen-1992 | Freyd, P.; Mulry, P.; Rosolini, Giuseppe; Scott, D. |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile