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)