Research on "Formal Methods in Computing"

Ines MARGARIA Associate professor Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, I-10149 Torino, Italy Phone: +39 011 6706713 Fax: +39 011 751603 E-mail: ines@di.unito.it

RESEARCH:

• Interests
  • Lambda-calculus
  • Type theories
  • Functional programming
• Publications