Report copyright - Combining Proofs and Programs in a Dependently Typed ... · Keywords Dependent types; Termination; General r ecursion 1. Introduction Dependently typed languages have developed along
Please pass captcha verification before submit form