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)
e-mail: silvio@math.unipd.it
to Logic Group Home Page