Giuseppe Rosolini

Phone: +39 0103536630
Fax: +39 0103536699
Email: rosolini@disi.unige.it
FTP: ftp.disi.unige.it/pub/person/RosoliniG

Università di Genova

via Dodecaneso 35

16146 Genova, Italy

Phone: +39 0103536878

Categorical Semantics
of Programming Languages

List of publications
Curriculum Vitæ

Corsi: LM, LM2, ILM, Mat Discr, LabMat
Gruppo di studio:gare a squadre,
Poster su un teorema di punto fisso
Poster su Alan Turing
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)