ROSOLINI, GIUSEPPE

ROSOLINI, GIUSEPPE  

100021 - Dipartimento di Matematica  

Mostra records
Risultati 1 - 10 di 10 (tempo di esecuzione: 0.015 secondi).
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