Report copyright - Towards a formal Theory of Program Constructionded as well. Therefore Intuitionistic Type Theory not only is expressive enough for a formalization of all the activities involved in
Please pass captcha verification before submit form