Report copyright - InteractiveTheoremProvinginCoqandthe Curry …abhishek/itp_slides.pdfUruguay,February24-March1,2008,RevisedTutorial Lectures,pages1–56,2008. EduardoGiménez. Atutorialonrecursivetypesincoq
Please pass captcha verification before submit form