Preprint (BibTeX for the first part) | Errata corrige (BibTeX)G. Bellin and A. Menti, Bi-intuitionism as dialogue chirality, talk at the Correctness by Construction (CORCON) 2014 Workshop, Genova (March 2014)
SlidesG. Bellin and A. Menti, On the π-calculus and Co-intuitionistic Logic. Notes on Logic for Concurrency and λP Systems, Fundamenta Informaticae 130.1 (2014)
I have written some notes (in Italian) for the following courses I took. They are currently incomplete — work on them is in slow progress. Pull requests are welcome.
- A. Menti and M. Zago, Attacco ad Android: obiettivi, rischi e contromisure, published online (2013)
I was a teaching assistant for the following courses: