TU Wien Informatics


  • Curry-Howard, Game Semantics and Herbrand's Theorem
    2015 / Meitner-Programm / Austria / Project

Soon, this page will include additional information such as reference projects, activities as journal reviewer and editor, memberships in councils and committees, and other research activities.

Until then, please visit Federico Aschieri’s research profile in TISS .