Anders Mörtberg
Original record- Institution
- Chalmers Tekniska Högskola
- Year
- 2014
- Country
- Sweden
- MGP identifier
- 327890
Dissertation: Formalizing Refinements and Constructive Algebra in Type Theory
Advisors 2
- Thierry CoquandInstitution not recorded
- Cyril CohenÉcole Polytechnique · 2012
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Elisabeth Stenholm | Universitetet i Bergen | 2024 | 0 |