Giuseppe Rosolini 

 
Phone: +39 0103536942
Fax: +39 0103536699
Email: rosolini[chiocciola]unige.it
 
 
   
DIMA
Università di Genova
via Dodecaneso 35
16146 Genova, Italy
Phone: +39 0103536878
 
   
    Categorical Semantics
    of Programming Languages  
List of publications
Curriculum Vitæ  
 
       
Corsi: AML, EML, ILM, LabMat
Gruppo di studio: gare a squadre,
Poster su un teorema di punto fisso
Poster su Alan Turing
Poster su Breve Storia della Logica (mat.cl.)
Realizability: a tutorial at MFPS XXIII

 
Ricevimento: su appuntamento

[Italian time | World clock]

Local weather: [today | tomorrow | national]

[Math.Reviews | Library]

 
     
   MONDRIAN, Piet, Composition No. 10  (1939-42)