Silvio Valentini

Associate Professor of Logica Matematica

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

Logica per l'Informatica

Matematica di Base (Algebra)

to Logic Group Home Page