Silvio Valentini

[face]

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)
e-mail: silvio@math.unipd.it

to Logic Group Home Page