Jui-Hsuan Wu
Doctorat Institut Polytechnique de Paris 2004
Dissertation:
Proof theory, syntactic representations, logic, and sharing
Advisor 1: Dale Allen Miller
Advisor 2: Beniamino Accattoli
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 342410 for the advisor ID.