Varmo Vene
Original record- Institution
- University of Tartu
- Year
- 2000
- Country
- Estonia
- MGP identifier
- 220734
Dissertation: Categorical programming with inductive and coinductive types
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Merik MeristeInstitution not recorded
Students 4
| Name | Institution | Year | Students |
|---|---|---|---|
| Jevgeni Kabanov | University of Tartu | 2013 | 0 |
| Härmel Nestra | University of Tartu | 2006 | 0 |
| Jaak Randmets | University of Tartu | 2017 | 0 |
| Vesal Vojdani | University of Tartu | 2010 | 0 |