Vai al contenuto principale

Dott.ssa Erika De Benedetti

  • Phd: 27th cycle
  • Matriculation number: 285347

Contacts

Supervisor

Simonetta Ronchi Della Rocca

Curriculum vitae

Curriculum Vitae

Phd thesis

my PhD thesis is about the study of implicit computational complexity through type assignment systems for (variants of) lambda-calculus, in a joint supervision program between Università di Torino (Simona Ronchi Della Rocca) and ENS de Lyon (Patrick Baillot).

Research activities

implicit computational complexity, intersection types, lambda-calculus, linear logic, proof-theory, semantics of programming languages, type-theory.

Last update: 05/02/2014 10:47
Non cliccare qui!