Silvio Valentini


Associate Professor of Logica Matematica

Short curriculum vitae

Research interests include:

Constructive topology,

Martin-Löf type theory,

Syntax and semantics of typed lambda calculi

Annotated list of some publications

Teaching Courses:

Logica 2 - Logica Matematica modulo B

Logica Matematica

Fondamenti della Matematica

Logica per l'Informatica

Matematica di Base (Algebra)

tel. +39-49-8275985 (direct)

to Logic Group Home Page