Iliano Cervesato

MathSciNet


Ph.D. University of Turin 1996 Italy
Dissertation: A Linear Logical Framework

Advisor: Frank Pfenning

No students known.

If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 88445 for the advisor ID.