Luis Filipe Pinto
Original record- Institution
- University of St. Andrews
- Year
- 1996
- Country
- United Kingdom
- MGP identifier
- 32872
Dissertation: Proof-theoretic Investigations of Integrated Logical and Functional Programming
Advisors 2
- Ursula Hilda Mary Martin (Webb)University of Warwick · 1979
- Roy DyckhoffInstitution not recorded
Students 0
No students recorded in this snapshot.