Nils Anders Danielsson
Original record- Institution
- Chalmers Tekniska Högskola
- Year
- 2007
- Country
- Sweden
- MGP identifier
- 125615
Dissertation: Functional Program Correctness through Types
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Patrik JanssonChalmers Tekniska Högskola · 2000
Students 0
No students recorded in this snapshot.