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

  ---