Mayer Goldberg
Original record- Institution
- Indiana University
- Year
- 1996
- Country
- United States
- MGP identifier
- 84308
Dissertation: Recursive Application Survival in the Lambda Calculus
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisors 2
- Daniel Paul FriedmanUniversity of Texas at Austin · 1973
- Olivier DanvyUniversité Pierre-et-Marie-Curie - Paris VI · 1986
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Guy Wiener | Ben-Gurion University of the Negev | 2012 | 0 |