Research on "Semantics and Logics of Computation"
"Semantics of programming languages" group

Gaboardi Marco Phd Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy Phone: +39 011 6706814 Fax: +39 011 751603 E-mail: gaboardi@di.unito.it

RESEARCH:

• Curriculum Vitae: italiano
  

•  Interests.
• Functional Programming Languages
• Implicit Computational Complexity
  
• Structural Proof Theory and Linear Logic
  
• Interpretation Methods for the Analysis of Stream Programs
  
• Induction and Coinduction as Proof  Techinics
  
• Foundations of Computer Science

• Publications - DBLP
  

• Phd Thesis
  

• Other Works:

• Laurea Specialistica Thesis
• Inductive and Coinductive Techniques in  the Operational Analysis of Functional Programs: an Introduction (pdf)
• Laurea Triennale Thesis
• Esecutore Simbolico per Java: Integrazione dello strumento (pdf)
  
• Notes
  
• Induzione e Coinduzione (In Italian) (pdf)
• Talks
• Martin Löf's Type Theory (pdf)