Report copyright - Dependent Types and Fibred Computational E ects · 1 Introduction While dependent types have proven very useful on their own, for both program-ming and theorem proving, one also seeks
Please pass captcha verification before submit form