Geert-Willem Quintijn Puite
Original record- Institution
- Universiteit Utrecht
- Year
- 2001
- Country
- Netherlands
- MGP identifier
- 60739
Dissertation: Sequents and Link Graphs: Contraction Criteria for Refinements of Multiplicative Linear Logic
Advisors 2
- Ieke MoerdijkUniversiteit van Amsterdam · 1985
- Harold A. J. M. SchellinxUniversiteit van Amsterdam · 1994
Students 0
No students recorded in this snapshot.