Full Professor of Computer Science
DAIS Universita' Ca'Foscari Venezia. Via Torino 155, 30172 Venezia Mestre - Italy
Tel: +39 0412348417
Fax: +39 0412348419
Email: salibra at dsi.unive.it
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 (in my opinion):
''Topological incompleteness and order incompleteness of the lambda calculus''
Dal 22 al 27 agosto 2011 ho tenuto il corso di Teoria della Calcolabilita' presso la Scuola Estiva AILA (Associazione Italiana di Logica e sue Applicazioni).
Macchine di Turing. Linguaggio funzionale su sequenze di naturali. Costrutti funzionali: composizione di funzioni, composizione parallela, iterazione definita, ricorsione primitiva e iterazione indefinita. Equivalenza ricorsione primitiva e iterazione definita. Codifica dei programmi con numeri naturali. Il problema dell'autoriferimento. Indecidibilita' del problema della fermata con il metodo diagonale.
Insiemi decidibili, semidecidibili e ricorsivamente enumerabili. Many-one riducibilita' ed il teorema del parametro. Insiemi indecidibili con il metodo della many-one riducibilita'. Insiemi estensionali. Teoremi di Rice.
Teoremi di Rice e topologia di Scott sull'insieme delle funzioni parziali dai naturali nei naturali. Il primo ed il secondo teorema di ricorsione.
Lezione 1 lambda calcolo:
lambda calcolo come formalismo computazionale completo; beta-riduzione e beta-conversione.
Solvable and unsolvable lambda terms. Head normal form, head redex. Head reduction. Bohm trees. Lambda theories. lattice of lambda theories. Si consulti
il libro di H. Barendregt, The lambda calculus, North-Holland, 1984.
Proprieta' Z nel lambda calcolo: si consulti ''P. Dehornoy and V. van Oostrom'' (www.phil.uu.nl/~oostrom/publication/rewriting.html)
Programma Strutture Discrete (vecchio ordinamento)
il programma e' costituito dal libro di Facchini: Algebra e Matematica Discreta; pp. 3 - 42
pp. 59 - 122
pp. 141 - 159
pp. 166 - 174.
