ROSOLINI, GIUSEPPE
ROSOLINI, GIUSEPPE
100021 - Dipartimento di Matematica
Mostra
records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.029 secondi).
A categorical view of process refinement
1993-01-01 Degano, P.; Gorrieri, R.; Rosolini, Giuseppe
A modular approach to denotational semantics
1998-01-01 Power, A. J.; Rosolini, Giuseppe
An ExPER model for QUEST
1992-01-01 Rosolini, Giuseppe
Categories and effective computations
1987-01-01 Rosolini, Giuseppe
Extensional PERs
1990-01-01 Freyd, P.; Mulry, P.; Rosolini, Giuseppe; Scott, D.
Functorial Parametricity
1992-01-01 Freyd, P.; Robinson, E.; Rosolini, Giuseppe
Lifting
1997-01-01 Bucalo, A.; Rosolini, Giuseppe
Polymorphism, set theory, and call-by-value
1990-01-01 Robinson, E.; Rosolini, Giuseppe
Reflexive graphs and parametric polymorphism
1994-01-01 Robinson, E. P; Rosolini, Giuseppe
Type theory via exact categories (extended abstract)
1998-01-01 L., Birkedal; Carboni, Aurelio; Rosolini, Giuseppe; D. S., Scott
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A categorical view of process refinement | 1-gen-1993 | Degano, P.; Gorrieri, R.; Rosolini, Giuseppe | |
A modular approach to denotational semantics | 1-gen-1998 | Power, A. J.; Rosolini, Giuseppe | |
An ExPER model for QUEST | 1-gen-1992 | Rosolini, Giuseppe | |
Categories and effective computations | 1-gen-1987 | Rosolini, Giuseppe | |
Extensional PERs | 1-gen-1990 | Freyd, P.; Mulry, P.; Rosolini, Giuseppe; Scott, D. | |
Functorial Parametricity | 1-gen-1992 | Freyd, P.; Robinson, E.; Rosolini, Giuseppe | |
Lifting | 1-gen-1997 | Bucalo, A.; Rosolini, Giuseppe | |
Polymorphism, set theory, and call-by-value | 1-gen-1990 | Robinson, E.; Rosolini, Giuseppe | |
Reflexive graphs and parametric polymorphism | 1-gen-1994 | Robinson, E. P; Rosolini, Giuseppe | |
Type theory via exact categories (extended abstract) | 1-gen-1998 | L., Birkedal; Carboni, Aurelio; Rosolini, Giuseppe; D. S., Scott |