Roman Krenick ́y
Original record- Institution
- University of Manchester
- Year
- 2014
- Country
- United Kingdom
- MGP identifier
- 235088
Dissertation: A 2-Categorical Approach to Proof-Comparison
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Andrea Claudia SchalkTechnische Universität Darmstadt · 1993
Students 0
No students recorded in this snapshot.