Antonino Salibra
Full Professor of Computer Science
DAIS
Universita' Ca'Foscari Venezia.
Via Torino 155, 30172 Venezia Mestre - Italy
Tel: +39 0412348417
Email: salibra at dsi.unive.it
Scientific meeting in honor of Antonino Salibra . Paris, July 1-2, 2013.
Invited talk at Monthly "CHoCoLa" meetings:
Curry-Howard: Logic and Computation, ENS de Lyon, February 14, 2013.
Invited speaker at 37th International Symposium on
Mathematical Foundations of Computer Science (MFCS'12), August 27-31,
2012, Bratislava, Slovakia.
Invited Professor, Fondation de Mathematique de Paris (two months 2012)
Lessons on Computability Theory, Summer School AILA (Associazione Italiana di Logica e sue Applicazioni), August 2011.
- My research interests include lambda calculus, universal algebra, domain theory and topology
(with applications to computer science), linear logic, differential and resource lambda calculi.
- My best papers:
''Topological incompleteness and order incompleteness of the lambda calculus';
and ''Boolean algebras for lambda calculus''.
- Papers and
CV Francese and
CV Inglese
- Didattica