David Philip Kierstead
Original record- Institution
- University of Wisconsin-Madison
- Year
- 1979
- Country
- United States
- MGP identifier
- 9640
Dissertation: Syntax and Semantics in Higher-Type Recursion Theory
Advisor 1
- Stephen Cole KleenePrinceton University · 1934
Students 0
No students recorded in this snapshot.