Report copyright - Completeness in Hybrid Type Theory - Springer · Completeness in Hybrid Type Theory ... (see Hughes and Cresswell ... The key observation is that models can be built out of equivalence
Please pass captcha verification before submit form