Peter Bruce Andrews
Original record- Institution
- Princeton University
- Year
- 1964
- Country
- United States
- MGP identifier
- 8034
Dissertation: A Transfinite Type Theory with Type Variables
Advisor 1
- Alonzo ChurchPrinceton University · 1927
Students 8
| Name | Institution | Year | Students |
|---|---|---|---|
| Matthew Clive Bishop | Carnegie Mellon University | 1999 | 0 |
| Chad E. Brown | Carnegie Mellon University | 2004 | 0 |
| Edward Russell Fisher, Jr. | Carnegie Mellon University | 1970 | 0 |
| Sunil Issar | Carnegie Mellon University | 1991 | 0 |
| Michael Kohlhase | Not recorded | — | 6 |
| Dale Allen Miller | Carnegie Mellon University | 1983 | 22 |
| Frank Pfenning | Carnegie Mellon University | 1987 | 35 |
| Donald H. Taranto | Not recorded | — | 0 |