Lug 182011
Giovedì 21 luglio 2011, alle ore 15
Facoltà di Scienze della Formazione, aula 2A (corpo aggiunto)
il
Prof. Antonino Salibra
(Università Ca’ Foscari, Venezia)
terrà una conferenza dal titolo:
Dimostrazioni in logica classica come programmi: una generalizzazione del lambda calcolo