Edwin Lewis-Kelham
Original record- Institution
- University of Sheffield
- Year
- 2007
- Country
- United Kingdom
- MGP identifier
- 105563
Dissertation: Multi-Level Lax Logic - Introducing Multiple Proof Terms for Handling Multiple Constraints
Advisor 1
- Mike StannettUniversity of Sheffield · 1986
Students 0
No students recorded in this snapshot.