For any further information please contact prof. Marino Miculan.
Logics, Types, and Semantics: a Journey in Theoretical Computer Science
Symposium in honour of Furio Honsell, on the occasion of his 60th birthday
For any further information please contact prof. Marino Miculan.