Aarne Ranta
Original record- Institution
- Helsingin yliopisto
- Year
- 1990
- Country
- Finland
- MGP identifier
- 101786
Dissertation: Studies in Constructive Semantics
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Per Martin-LöfStockholm University · 1970
Students 12
| Name | Institution | Year | Students |
|---|---|---|---|
| Krasimir Angelov | Chalmers Tekniska Högskola | 2012 | 0 |
| Björn Bringert | Göteborgs universitet | 2007 | 0 |
| Dana Dannélls | Göteborgs universitet | 2013 | 0 |
| Grégoire Détrez | Göteborgs universitet | 2016 | 0 |
| Markus Forsberg | Chalmers Tekniska Högskola | 2007 | 0 |
| Muhammad Humayoun | Université Savoie Mont Blanc | 2007 | 0 |
| Kristofer Johannisson | Göteborgs universitet | 2005 | 0 |
| Janna Khegai | Kungliga Tekniska Högskolan (KTH) | 2006 | 0 |
| Inari Listenmaa | Göteborgs universitet | 2019 | 0 |
| Peter Ljunglöf | Göteborgs universitet | 2004 | 1 |
| Enache Ramona | Göteborgs universitet | 2013 | 0 |
| Shafqat Virk | Göteborgs universitet | 2013 | 0 |